https://bugs.chromium.org/p/oss-fuzz/issues/detail?id=56270
WRAPPED_EXPR,
    
    EXPR,
    
    SWAP,
    
    ALT,
    
    CHECK,
    
    DUP_IF,
    
    VERIFY,
    
    NON_ZERO,
    
    ZERO_NOTEQUAL,
    
    WRAP_U,
    
    WRAP_T,
    
    AND_N,
    
    AND_V,
    
    AND_B,
    
    ANDOR,