dfa: variables shouldn't be marked unknown if they don't have known constant values
mention method name in edit contract intention text
don't flush fields for pure method and getter calls (IDEA-117449)
IDEA-121698 Automatically make variables accessed from outer scopes final
dfa: comparison with other variables shouldn't affect a variable's nullability status
missing test data