refactoring parse functions from concrete syntax, for clarity
refactoring parse functions from concrete syntax, for clarity