sig
  val is_relation : Z3.Expr.expr -> bool
  val is_store : Z3.Expr.expr -> bool
  val is_empty : Z3.Expr.expr -> bool
  val is_is_empty : Z3.Expr.expr -> bool
  val is_join : Z3.Expr.expr -> bool
  val is_union : Z3.Expr.expr -> bool
  val is_widen : Z3.Expr.expr -> bool
  val is_project : Z3.Expr.expr -> bool
  val is_filter : Z3.Expr.expr -> bool
  val is_negation_filter : Z3.Expr.expr -> bool
  val is_rename : Z3.Expr.expr -> bool
  val is_complement : Z3.Expr.expr -> bool
  val is_select : Z3.Expr.expr -> bool
  val is_clone : Z3.Expr.expr -> bool
  val get_arity : Z3.Sort.sort -> int
  val get_column_sorts : Z3.Sort.sort -> Z3.Sort.sort list
end