Package daikon.inv.unary