sig
  type t = Abstraction.Operation.t
  val print : Format.formatter -> t -> unit
  val to_string : t -> string
  type exp = Ast.Expression.expression
  and lval = Abstraction.Operation.lval
  and info =
    Abstraction.Operation.info =
      Normal
    | Call of lval option * string * exp list
    | Ret of exp
  val get_info : t -> info
end