Keeping track of what conditionals have been expanded by handle-implies-deeper.