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