Fixed SSA generation with try..catch construction