It occupied quite of time when proving huge block. E.g. with > 2^30 cycle inst, for app proof e2e take 750s, emulator could take 250s