Checking harness check_arbitrary_point...
VERIFICATION:- SUCCESSFUL