AliRelVal: improved unhandled exception logging

It now specifies the traceback order