refactored env-backward-inference
added notes for implementing search for alternative answers