Probabilmente:

__assume( false ): Se l'espressione da verificare non è presente in nessun case, considera come valido il primo ed esegui le sue istruzioni;

__assume( true ): Se l'espressione da verificare non è presente in nessun case considera il codice del default.


Correggetemi pure se mi sbaglio.