works on nogood recording from shop solution.
 old changes for nogood recording (unstable ?)
Update Pom and Fix bug on PACK with buckets.
Add default batching algorithm