Added output to all-SVP-rule as it is now disjunct with SVP-rule