added a stack for assertive codes that we haven't processed yet