### nonempty

filterNE
  = \ @a_sfXV p_sfXW t_sfXX ->
      case t_sfXX of { Bin' ww_sfXZ ww1_sfY0 ww2_sfY1 ww3_sfY2 ->
      $wfilterNE p_sfXW ww_sfXZ ww1_sfY0 ww2_sfY1 ww3_sfY2
      }

filter
  = \ @a_a8kJ ds_dd0b ds1_dd0c ->
      case ds1_dd0c of {
        NE bx_dehG bx1_dehH bx2_dehI bx3_dehJ ->
          $wfilterNE ds_dd0b bx_dehG bx1_dehH bx2_dehI bx3_dehJ;
        Tip -> Tip
      }

Rec {
$wfilterNE
  = \ @a_sfXV p_sfXW ww_sfXZ ww1_sfY0 ww2_sfY1 ww3_sfY2 ->
      case ww1_sfY0 of ww4_X1 { __DEFAULT ->
      case ww3_sfY2 of wild_X2 {
        NE bx_dehG bx1_dehH bx2_dehI bx3_dehJ ->
          case $wfilterNE p_sfXW bx_dehG bx1_dehH bx2_dehI bx3_dehJ of r'_X3
          { __DEFAULT ->
          case ww2_sfY1 of wild1_X4 {
            NE bx4_X5 bx5_X6 bx6_X7 bx7_X8 ->
              case $wfilterNE p_sfXW bx4_X5 bx5_X6 bx6_X7 bx7_X8 of l'_X9
              { __DEFAULT ->
              case p_sfXW ww4_X1 of {
                False ->
                  case l'_X9 of wild3_Xb {
                    NE ipv_seHb ipv1_seHc ipv2_seHd ipv3_seHe ->
                      case r'_X3 of {
                        NE ipv4_seHg ipv5_seHh ipv6_seHi ipv7_seHj ->
                          case $wmergeNE
                                 ipv_seHb
                                 ipv1_seHc
                                 ipv2_seHd
                                 ipv3_seHe
                                 ipv4_seHg
                                 ipv5_seHh
                                 ipv6_seHi
                                 ipv7_seHj
                          of
                          { (# ww5_sgjm, ww6_sgjn, ww7_sgjo, ww8_sgjp #) ->
                          NE ww5_sgjm ww6_sgjn ww7_sgjo ww8_sgjp
                          };
                        Tip -> wild3_Xb
                      };
                    Tip -> r'_X3
                  };
                True ->
                  case reallyUnsafePtrEquality# wild1_X4 l'_X9 of wild3_ieFp
                  { __DEFAULT ->
                  join {
                    $j_sfi8
                      = case l'_X9 of {
                          NE ipv_seHq ipv1_seHr ipv2_seHs ipv3_seHt ->
                            case r'_X3 of {
                              NE ipv4_seHv ipv5_seHw ipv6_seHx ipv7_seHy ->
                                case $wlinkNENE
                                       ww4_X1
                                       ipv_seHq
                                       ipv1_seHr
                                       ipv2_seHs
                                       ipv3_seHt
                                       ipv4_seHv
                                       ipv5_seHw
                                       ipv6_seHx
                                       ipv7_seHy
                                of
                                { (# ww5_sgjL, ww6_sgjM, ww7_sgjN, ww8_sgjO #) ->
                                NE ww5_sgjL ww6_sgjM ww7_sgjN ww8_sgjO
                                };
                              Tip ->
                                case link_$s$winsertMaxNE
                                       ipv_seHq ipv1_seHr ipv2_seHs ipv3_seHt ww4_X1
                                of
                                { (# ww5_sgj7, ww6_sgj8, ww7_sgj9, ww8_sgja #) ->
                                NE ww5_sgj7 ww6_sgj8 ww7_sgj9 ww8_sgja
                                }
                            };
                          Tip ->
                            case $winsertMinNE ww4_X1 r'_X3 of
                            { (# ww5_sgiU, ww6_sgiV, ww7_sgiW, ww8_sgiX #) ->
                            NE ww5_sgiU ww6_sgiV ww7_sgiW ww8_sgiX
                            }
                        } } in
                  case wild3_ieFp of {
                    __DEFAULT -> jump $j_sfi8;
                    1# ->
                      case reallyUnsafePtrEquality# wild_X2 r'_X3 of {
                        __DEFAULT -> jump $j_sfi8;
                        1# -> NE ww_sfXZ ww4_X1 wild1_X4 wild_X2
                      }
                  }
                  }
              }
              };
            Tip ->
              case p_sfXW ww4_X1 of {
                False -> r'_X3;
                True ->
                  case reallyUnsafePtrEquality# Tip Tip of {
                    __DEFAULT ->
                      case $winsertMinNE ww4_X1 r'_X3 of
                      { (# ww5_sgiU, ww6_sgiV, ww7_sgiW, ww8_sgiX #) ->
                      NE ww5_sgiU ww6_sgiV ww7_sgiW ww8_sgiX
                      };
                    1# ->
                      case reallyUnsafePtrEquality# wild_X2 r'_X3 of {
                        __DEFAULT ->
                          case $winsertMinNE ww4_X1 r'_X3 of
                          { (# ww5_sgiU, ww6_sgiV, ww7_sgiW, ww8_sgiX #) ->
                          NE ww5_sgiU ww6_sgiV ww7_sgiW ww8_sgiX
                          };
                        1# -> NE ww_sfXZ ww4_X1 Tip wild_X2
                      }
                  }
              }
          }
          };
        Tip ->
          case ww2_sfY1 of wild1_X3 {
            NE bx_dehG bx1_dehH bx2_dehI bx3_dehJ ->
              case $wfilterNE p_sfXW bx_dehG bx1_dehH bx2_dehI bx3_dehJ of l'_X4
              { __DEFAULT ->
              case p_sfXW ww4_X1 of {
                False -> l'_X4;
                True ->
                  case reallyUnsafePtrEquality# wild1_X3 l'_X4 of wild3_ieFp
                  { __DEFAULT ->
                  join {
                    $j_sfi8
                      = case l'_X4 of {
                          NE ipv_seHq ipv1_seHr ipv2_seHs ipv3_seHt ->
                            case link_$s$winsertMaxNE
                                   ipv_seHq ipv1_seHr ipv2_seHs ipv3_seHt ww4_X1
                            of
                            { (# ww5_sgj7, ww6_sgj8, ww7_sgj9, ww8_sgja #) ->
                            NE ww5_sgj7 ww6_sgj8 ww7_sgj9 ww8_sgja
                            };
                          Tip -> NE 1# ww4_X1 Tip Tip
                        } } in
                  case wild3_ieFp of {
                    __DEFAULT -> jump $j_sfi8;
                    1# ->
                      case reallyUnsafePtrEquality# Tip Tip of {
                        __DEFAULT -> jump $j_sfi8;
                        1# -> NE ww_sfXZ ww4_X1 wild1_X3 Tip
                      }
                  }
                  }
              }
              };
            Tip ->
              case p_sfXW ww4_X1 of {
                False -> Tip;
                True ->
                  case reallyUnsafePtrEquality# Tip Tip of {
                    __DEFAULT -> NE 1# ww4_X1 Tip Tip;
                    1# -> NE ww_sfXZ ww4_X1 Tip Tip
                  }
              }
          }
      }
      }
end Rec }