Use a linked list of variables to detect goto skipping initialization
Detect skipping 'with' variable
Add test cases