FunDeps
type
Equation
pprEquation
oclose
grow
improveOne
checkInstCoverage
checkFunDeps
pprFundeps