The current PorcE code semantically correctly handles exception, however the print out does not include an Orc backtrace (only the Java stack trace, which is displayed in place of the Orc trace).
PorcE has much of the information needed for this. However, some of it will need to be extracted from the Truffle stack which is someone complex. An intermediate step could be just including only the call site from Orc. This would be much easier.