liftToMod of last local decl having preceding comment now removes 'where'