Merge pull request #696 from viperproject/meilers_fix_695

Resetting scaling factor after folding quantified predicate

Author: marcoeilers

src/main/scala/rules/PredicateSupporter.scala

@@ -93,6 +93,7 @@ object predicateSupporter extends PredicateSupportRules {
         val s3 = s2.copy(g = s.g,
                          h = h3,
                          smCache = smCache,
+                         permissionScalingFactor = s.permissionScalingFactor,
                          functionRecorder = s2.functionRecorder.recordFvfAndDomain(smDef))
         Q(s3, v1)
       } else {