Undoing previous change in 'resim' (do not initialize flops using their values in the CEX because the number of flops in the CEX can be different).
