Have Parser->parse() return output directly
Handle unexpected output; refactor tests