Add tests for real syntax checking