let sigma op l =
  match op, l with
    | Sym.Empty, [] -> mk_empty()
    | Sym.Full, [] -> mk_full()
    | Sym.Ite, [a; b; c] -> mk_ite a b c
    | _ ->  failwith "Propset.sigma: ill-formed expression"