value flow: more bailouts when return/break/continue/goto is reached. TODO: handle these better.