INTEGRITY_FAIL_IMMUTABLE
evm_status = INTEGRITY_FAIL_IMMUTABLE;
if (evm_status == INTEGRITY_FAIL_IMMUTABLE)
if (evm_status == INTEGRITY_FAIL_IMMUTABLE)
(evm_status == INTEGRITY_FAIL_IMMUTABLE) ||
case INTEGRITY_FAIL_IMMUTABLE: