A bug with liftTerm is fixed