Overrides
method contracts: use underscore instead of "any"
dfa: suggest to replace variable with int constant (IDEA-111178)
read action when getting all names (EA-48241)
some invalid psi checks (EA-47654, EA-46555)