Multisort abduction tests, unverified.
Extended convex hull: disjunction elimination for linear arithmetics; test fails.