let integral_cast ty t = Aorai_option.abort "term %a has type %a, but %a is expected." Cil.d_term t Cil.d_logic_type Linteger Cil.d_type ty