Did you know ... Search Documentation:
Predicate run_test_once/6
 run_test_once(+Unit, +Name, +Progress, +Line, +Options, +Body)[private]
Deal with occurs_check, i.e., running the test multiple times with different unification settings wrt. the occurs check.