See the comment in `alt-ret-tuple.pml` from the regression suite for details. I'm not sure what's going on actually. Referenced in commit 9ad955a7ed7faca1fc01b548b07e59c396819773
