HaRe-0.6: StrategyLib-4.0-beta/examples/two-sorts-drift-default/Test.correct

Just 1
Just 2
Just False
Just (SortA1 (SortB 2 (SortA1 (SortB 3 (SortA1 (SortB 4 SortA2))))))