Update assertion library
Partition a list into 2 using a collector function