ATT_dest_disconnect (
    - uas_ATT_establish_TC4 PASS
    - uas_ATT_TC4 PASS
    - uac_ATT PASS
) ATT_dest_disconnect PASS=1 FAIL=0 CSELEAK=0 SIPC_NC_LEAK=0 SIPC_UA_LEAK=0 SIPC_GPOOL_LEAK=0 SIPC_MPOOL_LEAK=0
