FunDeps
type Equation
pprEquation
oclose
improveFromInstEnv
improveFromAnother
checkInstCoverage
checkFunDeps
pprFundeps