Construct FIRM graphs for simple Integer arithmetic expressions
Merge pull request #140 from jspam/053-firm-integer-arithmetic-expressions

Construct FIRM graphs for simple Integer arithmetic expressions