Replace Bpatcher by abstraction inside poly~