Removed merge conflicts
Merge pull request #121 from sebastianruder/for_all_rule

Removed disjointness of SVP-rule with ALLRULE3