introduce sufficiently fresh variables in match (does not solve the etaReduce problem...)