let rec force_app_term_type f = function
| Ctype typ -> f typ
| Ltype ({ lt_name = "set"},[t]) -> force_app_term_type f t
| Ltype _ | Lvar _ | Linteger | Lreal | Larrow _ as ty ->
Jessie_options.fatal "Unexpected non-C type %a" !Ast_printer.d_logic_type ty