This rewriter optimizes the equal and unify builtins. E.g. if you have

RULE r1: p(?X) :- q(?X) AND _unify(?X,5).

then this rule will be rewritten to

RULE r1: p(5) :- q(5).