Variable name standing for the object whose value is determined
by an application of this rule
assign — pseudo-term
Value to be assigned to assigned-var, in terms of the assigned-var
itself and variables both used and bound in match, and keys of match-conds.
Possible restriction: elim rules should only use the keys of match/match-conds,
not e.g. the assigned-var