- added another test involving exception handling

improved annotation of ex handling code: we pass this and yesterday added test,

notice that the improved logic works only on simplfied flow graph (changed some tests to respect this),

(I have added code that mark a block starting exc handling, thinking I could have needed the info,
right now it seems not the case)

- changed a bit the way we deal with functions never returning but only raising exceptions,

may want to write a test to see whether this effectively helps with the kind of code involved
in multimethods failing paths.