Collatz example, fix an optimizer bug due to inlining a converted STRef.