Removed the fix. It was wrong. Mid-level statement must be able to be deinitialised regardless of its execution.