This was a cfg-construction bug