a more explicit check for this/super expression (IDEA-102126)
dfa checker methods UI: shorten some names
dfa checker methods: simplify control flow building logic, remove duplication
a generic "action is not available while in dumb mode" warning in one place
remove "action is not available while in dumb mode" warning from some actions, we now have a generic warning