val is_member : Fcl_var.Fd.t -> int -> int -> Fcl_var.Fd.t
val cstr : Fcl_var.Fd.t -> int -> int -> Fcl_var.Fd.t -> Fcl_cstr.t