Empty keys from EvalEnvironment
When calling keys on EvalEnvironment instance, we got an empty list but .keys() is used for domain inversion.
When calling keys on EvalEnvironment instance, we got an empty list but .keys() is used for domain inversion.