let cvar_of_folvar_opt v = match Fol.lvar_of_variable v with
  | None -> None
  | Some lv -> lv.lv_origin