Fix 2 previous failing tests, provide test case for liftToMod