fix #3914: desync in CEG