isConsBased isDemandedAt isLeftLinear isLeftNormal isPattern isRedex isVariantOf maxVarInRule maxVarInTRS minVarInRule minVarInTRS normalizeRule normalizeTRS rCons rRoot rVars renameRuleVars renameTRSVars showRule showTRS