Add assertions for environment interpretation.