Example: TTC case, added output for parsing errors