Made VarsAssignedInLoop public, since it can be useful in computing modifies sets elsewhere.
Small refactoring
Merge