varsOf
RuleUtils
varsOfBody
RuleUtils
varsOfHead
RuleUtils