Vacuous rules no longer propagated and variable replacements no longer
stored -- cleanup still needed.