Change happens_during ext to exists_during for CC