Predicate InconsistentCheckReturnNull::assertInvocation

predicate assertInvocation(File f, int line)