parser is ms2-complete (disregarding semantic analysis)