added abstract_constants and concrete_Variables to parsing.
(testcases not completed yet)