added base for integration testing of backward chaining
environment back-stack is now reset upon complete reset