Added testcase to validate chaining of exit procedures
Fix exit procedures in nested states
Use gcc instead of clang
Merge remote-tracking branch 'upstream/master' into operators

Conflicts:
	tests/regression/Makefile
	tests/test.py