Bug fix of backchaining on multiple RHS.