let is_equivalent t ext =
  match t.equivalence, ext.equivalence with
  | `None, _
  | _, `None -> false
  | `Same_active_condition`Same_active_condition -> 
    begin match t.condition with
    | None -> false
    | Some other -> Some other = ext.condition
    end