Now the invariant cvx in a (origin, oct and dbm) sstate is constructed when entering a new sstate by constructor or discrete_step(), and is destroyed in the end of continuous_step().