FamInst

checkFamInstConsistency

tcExtendLocalFamInstEnv

tcGetFamInstEnvs