Strukturelle Erweiterungen der Basisverfolgung: Garantien für kontradiktorische Robustheit