Added Backward Analysis with new API
Added a Jimple-based PR using context-sensitive call graphs