put triggers first; don't tell unless you have the method

If the triggers are done first then it seems a routine
can be assured that none of the simple triggers are true.

The InconsistenAssumption error was being emitted when
we tried to tell something. Don't use tell unless you are
going to actually start the process. Hence, put it in the
else part of the `try`.
Ah, but `s` is also a set. So if that set was created differently, then the order of its iteration could differ, making the order of `beta`s iteration differ, resulting in a different `check`. It won't actually shuffle it in practice as much as random.shuffle, but it will be enough to make things nondeterministic.