tests for @unhandled_exception processing (related to feature #1256)
@main[] ^bug[] @unhandled_exception[exception;stack] ^another_bug[]