before adding rewriting portion of to-full-control oracle