suppressing-warnings-behaves-properly.dfy(10,9): 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.
suppressing-warnings-behaves-properly.dfy(11,9): Info: 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.
suppressing-warnings-behaves-properly.dfy(12,9): Info: The attribute {:autotriggers false} may cause brittle verification. It's better to remove this attribute, or as a second option, manually define a trigger using {:trigger}. For more information, see the section quantifier instantiation rules in the reference manual.
suppressing-warnings-behaves-properly.dfy(14,9): Info: Selected triggers: {f(n)}
suppressing-warnings-behaves-properly.dfy(15,9): Info: Selected triggers: {f(n)}
suppressing-warnings-behaves-properly.dfy(16,9): Info: The attribute {:autotriggers false} may cause brittle verification. It's better to remove this attribute, or as a second option, manually define a trigger using {:trigger}. For more information, see the section quantifier instantiation rules in the reference manual.
suppressing-warnings-behaves-properly.dfy(18,9): Info: Selected triggers:
   {g(n), f(_t#0)}, {f(_t#0), f(n)}
suppressing-warnings-behaves-properly.dfy(19,9): Info: Selected triggers: {f(n)}
suppressing-warnings-behaves-properly.dfy(20,9): Info: The attribute {:autotriggers false} may cause brittle verification. It's better to remove this attribute, or as a second option, manually define a trigger using {:trigger}. For more information, see the section quantifier instantiation rules in the reference manual.

Dafny program verifier finished with 1 verified, 0 errors
