Add finally block to guarantee removal of CONST_CAS_ASSERTION.