simplif, invert-fun-rec -> invert-fun.