The design concept here is to keep the basic IR simple, and only
implement the properties relevant to the IR. The analyses in
harpoon.Analysis
will work with any IR, as long as
it implements the properties which the analysis requires.
@author C. Scott Ananian