Checking harness check_arbitrary_point...
6 of 6 cover properties satisfied