expanding predicate-aliases in measures too, see tests/pos/gadtEval.hs
removed trace, lets run tests on goto