let ctype_of_fvar v =  match Fol.Var.lvar_of_variable v with
  | None -> None
  | Some lv -> match lv.lv_type with
      | Ctype t -> Some t
      | _ -> None