?LET-bound things don't show up in the counterexample. In this case we're looking at the special shrinking parameter to possibly try harder falsifying a test case when shrinking.
?ALWAYS(1, P) is equivalent to P, so at the moment it doesn't do anything, but one might want something
other than 1 in the case of hard to shrink bugs.