Adds experimental support for exceptions/assumptions and resolution integration