ifType Rejection in NFA 9.3 and 9.3.6 and Cleanup Procedure