UniRuleLogic

LJT

UnitE

ch

UnitT

ch

usedVars

TermExpr