Java: Add backward dataflow edges through modelled function invocations
java/alert-suppression-annotations