ATT (
    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
    ATT_orig_disconnect (
        - uas_ATT_establish_TC1 PASS
        - uas_ATT_TC1 PASS
        - uac_ATT PASS
    ) ATT_orig_disconnect PASS=1 FAIL=0 CSELEAK=0 SIPC_NC_LEAK=0 SIPC_UA_LEAK=0 SIPC_GPOOL_LEAK=0 SIPC_MPOOL_LEAK=0
    ATT_several (
        - uas_ATT_establish_q31 PASS
        - uas_ATT_TC7 PASS
        - uac_ATT PASS
    ) ATT_several PASS=1 FAIL=0 CSELEAK=0 SIPC_NC_LEAK=0 SIPC_UA_LEAK=0 SIPC_GPOOL_LEAK=0 SIPC_MPOOL_LEAK=0
) ATT PASS=3 FAIL=0 CSELEAK=0 SIPC_NC_LEAK=0 SIPC_UA_LEAK=0 SIPC_GPOOL_LEAK=0 SIPC_MPOOL_LEAK=0
