Test('Depthtest',
  Test('Depthtest01',
    At any step : 1 != 0;
  );
  Test('Depthtest02',
    At any step : 1 != 0;
    Test('Depthtest021',
      At any step : 1 != 0;
    );
  );
  Test('Depthtest03',
    Test('Depthtest031',
      At any step : 1 != 0;
      Test('Depthtest0311',
        Test('Depthtest03111',
          Test('Depthtest031111',
            At any step : 1 != 0;
          );
          At any step : 1 != 0;
        );
      );
    );
  );
);
