Check if proposal errors are correctly handled in the mian loop.
Check if proposal errors are correctly handled in the mian loop.