add comparaison between diagnosticability and opacity