addStarVars2Branch binds2VarMap boolExpr boolType constantResult debug filterRelevantNFCs inferNF inferNFCallRule inferNFConds inferNFExpr inferNFRule isTrivialRule missingConsInBranch nonFailType showQNameAsFun starVar starVarExp unrec unrecExpr