support exception table
new tests
GOTO processing - loop check