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