cfaconstruct.n and cfasolve.n

CfaConstruct.construct: Absyn.topdec -> CfaUtils.basis constructs control flow equations for a given absyn program. And CfaSolve.solve: unit -> unit solves the constructed equations. These files implement the call-graph estimation rules in Figure 2 ([1,2]).

  

Figure 2: Call-graph Estimation Rules