the following code will produce 2 instead of 3:

!1; (?1 <+ ?a); (where(!a) < !2 + !3)

at the opposite of

!1; (?1 <+ ?a); (!a < !2 + !3)

Submitted on 25 July 2006 at 18:46

STR-601, visser:
was caused by unsafe optimization; fixed