Merge pull request #117 from ppedrot/case-pf-ensure-shape

Author: SkySkimmer

tests/graph.dpd.oracle

@@ -184,7 +184,7 @@ N: 104 "perm_trans" [kind=construct, prop=yes, path="Test", ];
 E: 1 2 [weight=1, ];
 E: 1 3 [weight=1, ];
 E: 1 8 [weight=25, ];
-E: 1 9 [weight=415, ];
+E: 1 9 [weight=416, ];
 E: 1 91 [weight=1, ];
 E: 1 107 [weight=1, ];
 E: 1 108 [weight=16, ];
@@ -196,27 +196,27 @@ E: 1 170 [weight=129, ];
 E: 1 179 [weight=1, ];
 E: 1 181 [weight=82, ];
 E: 1 182 [weight=20, ];
-E: 1 183 [weight=66, ];
+E: 1 183 [weight=67, ];
 E: 2 8 [weight=19, ];
-E: 2 9 [weight=256, ];
+E: 2 9 [weight=258, ];
 E: 2 148 [weight=1, ];
 E: 2 169 [weight=43, ];
 E: 2 170 [weight=33, ];
 E: 2 179 [weight=1, ];
 E: 2 181 [weight=66, ];
 E: 2 182 [weight=8, ];
-E: 2 183 [weight=64, ];
+E: 2 183 [weight=66, ];
 E: 3 6 [weight=1, ];
 E: 3 8 [weight=32, ];
-E: 3 9 [weight=230, ];
+E: 3 9 [weight=232, ];
 E: 3 148 [weight=1, ];
 E: 3 149 [weight=1, ];
 E: 3 169 [weight=37, ];
 E: 3 170 [weight=27, ];
 E: 3 179 [weight=1, ];
 E: 3 181 [weight=67, ];
 E: 3 182 [weight=8, ];
-E: 3 183 [weight=61, ];
+E: 3 183 [weight=63, ];
 E: 4 8 [weight=6, ];
 E: 4 9 [weight=15, ];
 E: 4 170 [weight=2, ];