let sigma s op =
  match op with
    | Arrays(op) ->
        Arr.sigma (is_equal s) op
    | _ ->
        Th.sigma op