sig   type state   type value   type location   type origin   val extract_expr :     (Cil_types.exp -> Abstract_domain.Queries.value Eval.evaluated) ->     Abstract_domain.Queries.state ->     Cil_types.exp ->     (Abstract_domain.Queries.value * Abstract_domain.Queries.origin)     Eval.evaluated   val extract_lval :     (Cil_types.exp -> Abstract_domain.Queries.value Eval.evaluated) ->     Abstract_domain.Queries.state ->     Cil_types.lval ->     Cil_types.typ ->     Abstract_domain.Queries.location ->     (Abstract_domain.Queries.value * Abstract_domain.Queries.origin)     Eval.evaluated   val backward_location :     Abstract_domain.Queries.state ->     Cil_types.lval ->     Cil_types.typ ->     Abstract_domain.Queries.location ->     Abstract_domain.Queries.value ->     (Abstract_domain.Queries.location * Abstract_domain.Queries.value)     Eval.or_bottom   val reduce_further :     Abstract_domain.Queries.state ->     Cil_types.exp ->     Abstract_domain.Queries.value ->     (Cil_types.exp * Abstract_domain.Queries.value) list end