optimize OneOr instances