Update inference-environments.rkt