way more robust Terminate Statement with much better behavior for
control structures