semantic: function stack sanity checking.
ir: remove some asserts.
parser: Provide dummy name for caught nameless exceptions.