aggregate supersteps and its test case.