ProjectBytecodeAnalysis: use tree hierarchy to find parameter's declaring method
adapt dfa testAlexBug to jdk notnull inference