more elaborate parsing test;
Env defines constants (strings) by terms, to be improved on later