eqConsPattern isConsTerm isGround isLinear isNormal isVarTerm mapTerm maxVarInTerm minVarInTerm normalizeTerm renameTermVars showTerm showTermEq showTermEqs showVarIdx tCons tConsAll tConst tOp tRoot tVars tVarsAll