Add a test to show how to verify the non-terminal