Add Parser.isTrace()

Fixes #701