Do less simplification when doing let-generalisation