Define paradox-resolution infastructure.
Add more EDGAR_NORETURN decorations.