Package daikon.test.inv.unary.sequence