QuickChecked the parser and made it all pass