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