On 05/26/2012 11:31 AM, Paolo Carlini wrote: > Ok. Like this it works, if I understand your suggestion. Yep, that's what I had in mind. But let's put it after the !TREE_SIDE_EFFECTS case. OK with that change. Jason