sig
  type state
  type value
  val get_stmt_state :
    Cil_types.stmt -> Analysis.Results.state Eval.or_bottom
  val eval_expr :
    Analysis.Results.state ->
    Cil_types.exp -> Analysis.Results.value Eval.evaluated
end