Recognition of Try-Catch successful. TODO: generation