TSTEQ lowering and optimization bug