dfa too complex tests: ensure variables are alive all the time
dfa: avoid reflective array creation
twice as less instances of DfaTypeValue
cache costly dfa analysis results for dataflow to this
RecursiveCallLineMarkerProvider: fail-fast