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