Consume_wand (gillian.Engine.Wands.Consume

val score_candidate : 
  (Gillian.Gil_syntax.Expr.t list * Gillian.Gil_syntax.Expr.t list) ->
  (Gillian.Gil_syntax.Expr.t list * Gillian.Gil_syntax.Expr.t option list) ->
  (Gillian.Gil_syntax.Expr.t -> Gillian.Gil_syntax.Expr.t -> bool) ->
  int option

val find_highest_scoring_match : 
  (int * Gillian.Gil_syntax.Expr.t list * Gillian.Gil_syntax.Expr.t list)
    Stdlib.List.t ->
  (Gillian.Gil_syntax.Expr.t list * Gillian.Gil_syntax.Expr.t option list) ->
  (Gillian.Gil_syntax.Expr.t -> Gillian.Gil_syntax.Expr.t -> bool) ->
  (int * int) option

val consume_wand : 
  pred_defs:MP.preds_tbl_t ->
  semantic_eq:(Gillian.Gil_syntax.Expr.t -> Gillian.Gil_syntax.Expr.t -> bool) ->
  t ->
  query ->
  wand option