[Refactoring] Rename makeInvariant to makeImmutable