==================== Final STG: ====================
$WNil = CCS_DONT_CARE Nil! [];

$WCons = \r [conrep conrep] Cons [conrep conrep];

unSucc1 = \r [ds] ds;

unSucc = \r [eta] unSucc1 eta;

Rec {
ifoldl' =
    \r [f z ds]
        case ds of {
          Nil -> z;
          Cons ipv2 ipv3 ->
              case z of z1 {
              __DEFAULT ->
              case f z1 ipv2 of sat { __DEFAULT -> ifoldl' f sat ipv3; };
              };
        };
end Rec }

Nil = \r [void] Nil [];

Cons = \r [void eta eta] Cons [eta eta];

Z = CCS_DONT_CARE Z! [];

S = \r [eta] S [eta];