:load regression_tests/AntiunifyWildcard.hs
:set +simplify
:generalise antiunifywildcard
:test antiunifywildcard on "antiunifywildcard (S(S(S Z))) Z Z Z Z"
:quit
