sig
  val sbdo_rewrite : Optimization_walker.optimization_rewrite_rule
  val sbdo_rewrite_two : Optimization_walker.optimization_rewrite_rule
end