let create_skolem ?(arity: int = 0) ?(name: string option = None) () : symbol =
  let name =
    match name with
      | None ->
          "__sko" ^ (string_of_int (Counter.value global.id_counter + 1))

      | Some name->
          name
  in
    create_symbol Skolem name name arity