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