let change_bound_var st1 st2 cond = if Extlib.has_some st1.multi_state then begin let (_,idx1) = Extlib.the st1.multi_state in let (_,idx2) = memo_multi_state st2 in update_condition idx1 idx2 cond end else cond