Made SVP-rule disjunct with ALLRULE3