[Diffbase] Construct FIRM graphs for Integer comparisons

Diff against #140