query2.logic

_path(?fromMethod, ?toMethod) <-
  CallGraphEdge(?invocation, ?toMethod),
  Instruction:Method[?invocation] = ?fromMethod.

_path(?fromMethod, ?toMethod) <-
  _path(?fromMethod, ?toMethodMid),
  CallGraphEdge(?invocation, ?toMethod),
  Instruction:Method[?invocation] = ?toMethodMid.