Comments, Unexpanded predicate scopes
StaticSingleAssignmentFormulaFormatter -> SSAFormulaIncarnationsManager
Rename