public boolean topLevelDeclarationsConflictWith(IfStatementBranch testBranch) {
      return intersects(topLevelVariables, testBranch.topLevelVariables);
    }
public boolean topLevelDeclarationsConflictWith(IfStatementBranch testBranch)