FunDeps

type Equation

pprEquation

oclose

improveFromInstEnv

improveFromAnother

checkInstCoverage

checkFunDeps

pprFundeps