before optimization (using explored_trace)
after optimization