Added a test case to check that 'goto' is not allowed