add tests for syntax checking