Construct FIRM graphs for Integer comparisons
Merge pull request #143 from jspam/054-firm-integer-comparisons

Construct FIRM graphs for Integer comparisons