dfa: treat every getter-like invocation like a field access, don't look inside and don't parse other classes for that