sig
  val inline_calls : Cil_types.file -> unit
  val inline_term :
    inline:(Cil_types.logic_info -> bool) ->
    ?current:Cil_types.logic_label -> Cil_types.term -> Cil_types.term option
  val inline_predicate :
    inline:(Cil_types.logic_info -> bool) ->
    ?current:Cil_types.logic_label ->
    Cil_types.predicate -> Cil_types.predicate option
end