UniRuleLogic

LJT

UnitE

ch

UnitT

ch

usedVarNames

TermExpr