extended the Jimple-based backwards icfg to be bidirectional