Introduce weak lower bound pruning
Merge branch 'master' of https://github.com/arx-deidentifier/arx.git