public void replaceWith(BDDPairing pair) {
public BDD replaceWith(BDDPairing pair) {
        public void replaceWith(BDDPairing pair) {            // TODO Auto-generated method stub            throw new UnsupportedOperationException();        }