Functor CfgCalculus.Make

module Make: 
functor (W : Mcfg.S-> sig .. end
Parameters:
W : Mcfg.S

exception NonNaturalLoop of Cil_types.location
val compute : mode:CfgCalculus.mode -> props:CfgCalculus.props -> W.t_prop