InSetComprehension.dfy(53,24): Info: Selected triggers: {x in elems}
InSetComprehension.dfy(51,25): Info: Selected triggers: {x in elems}
InSetComprehension.dfy(67,24): Info: Selected triggers: {x in elems}
InSetComprehension.dfy(65,25): Info: Selected triggers: {x in elems}
InSetComprehension.dfy(10,17): Warning: /!\ No terms found to trigger on.
InSetComprehension.dfy(12,17): Warning: /!\ No terms found to trigger on.
InSetComprehension.dfy(14,16): Info: Selected triggers: {Even(m)}
InSetComprehension.dfy(16,17): Info: Selected triggers: {u in uu}
InSetComprehension.dfy(18,17): Info: Not generating triggers for "Id(u)". Note that {:autotriggers false} can cause instabilities. Consider using {:nowarn}, {:matchingloop} (not great either), or a manual trigger instead.
InSetComprehension.dfy(28,16): Warning: /!\ No terms found to trigger on.
InSetComprehension.dfy(30,16): Warning: /!\ No terms found to trigger on.
InSetComprehension.dfy(33,16): Info: Selected triggers: {Even(m)}
InSetComprehension.dfy(37,16): Info: Selected triggers: {u in uu}
InSetComprehension.dfy(39,16): Info: Not generating triggers for "Id(u)". Note that {:autotriggers false} can cause instabilities. Consider using {:nowarn}, {:matchingloop} (not great either), or a manual trigger instead.
InSetComprehension.dfy(76,13): Info: Selected triggers: {x in si}
InSetComprehension.dfy(78,13): Info: Selected triggers: {y in ti}
InSetComprehension.dfy(81,13): Info: Selected triggers: {n in si}
InSetComprehension.dfy(82,5): Info: Selected triggers: {si[i]}

Dafny program verifier finished with 8 verified, 0 errors
