Follow liftSemigroup rename.