fact-equal-p and pattern-equal-p replaced by generic exil-equal-p