Made SVP-rule disjunct with ALLRULE3
Merge pull request #130 from sebastianruder/for_all_rule

Made SVP-rule disjunct with ALLRULE3