fixed backward chaining issues