Using legacy resolver and verifying...
AssertEqualWithDiff() Failure
Diff (changing expected into actual):
-warning: out of bananas
+TestWrongVerifierExpect.dfy(6,5): Warning: Could not find a trigger for this quantifier. Without a trigger, the quantifier may cause brittle verification. To silence this warning, add an explicit trigger using the {:trigger} attribute. For more information, see the section quantifier instantiation rules in the reference manual.
+Compilation failed because warnings were found and --allow-warnings is false
 

