removed old backward chainer