Added specification test exercising generation of sequences