Construct FIRM graphs for Integer comparisons
Add entity for System.out.println
Firmgraph creation for local variables and parameters