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