nest-1; tabelle kleiner

examples/oopsla/nest-1.absynth

+def seq ():
+    var n, x1, r
+
+    x1 = n
+    while x1 > 0:
+        x1 = x1 + unif(-2,1)
+        tick 1

examples/oopsla/nest-1.pwhile

+def seq ():
+    var n, x1, r
+
+    x1 = n
+    while x1 > 0:
+        r = unif(-2,1)
+        x1 = x1 + r
+        tick 1

src/PWhile/InferEt.hs

@@ -346,6 +346,7 @@ extractRanking body i c g f = fmap templateToNorms $ do
     <|> template "mixed-iteration" (pure (grdNorm * grdNorm + grdNorm))
     <|> template "shift-max" (refine shiftMax lin)
     <|> template "mixed-lin" (pure (grdNorm * lin + lin))
+    <|> template "double mixed-iteration" (pure (grdNorm * grdNorm * grdNorm + grdNorm))
     -- <|> template "mixed-square" (pure (grdNorm * grdNorm + lin))
     <|> template "square-shift-max" ((\a -> lin * lin + a) <$> refine shiftMax lin)
    where