Replace AddAssignedVariables with AddAssignedIdentifiers (#945) Replace AddAssignedVariables with AddAssignedIdentifiers, because the latter can already be computed before resolution, which is useful for Dafny.
Replace AddAssignedVariables with AddAssignedIdentifiers (#945) Replace AddAssignedVariables with AddAssignedIdentifiers, because the latter can already be computed before resolution, which is useful for Dafny.