Hi @ignacioinda ,
the PresCheck() cannot work with a MIFARE Classic. A MIFARE Classic operates at ISO/IEC 14443-3 level (often refered to as Layer-3) while a MIFARE DESFire operates at ISO/IEC 14443-4 (often refered as Layer-4).
The PresCheck() is based on sending R(NAK) frames which are part of Layer-4. A Layer-3 card, such as MIFARE Ultralight, Classic, NTAG, etc... (NFC-Forum T2T) will not understand that frame.
If you want to mix a Classic (L3) and DESFire (L4), or potentially other tags as well, I highly recommend you to go through the ISO/IEC 14443-3 and 14443-4 specifications to understand the differences of those cards and further how to operate them.
There are also other standards available covering essentially the same. For example ECMA or NFC Forum. Maybe you find something usefull by googling.
To detect the removal of L3 (Classic) card I would recommend a WUPA loop.
Best regards, Alexander