Removed disjointness of SVP-rule with ALLRULE3