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