Construct FIRM graphs for Integer comparisons

Diff against #140