_test_semi_infinite now returns four variables describing the test result rather than an OrbitType.
Can reproduce the output of orbit sharing tests in example 4.25.