sig
  val lift_execute_rules :
    (Optimization_walker.optimization_rewrite_rule * string) list
end