benchmark fix
Merge branch 'master' of https://github.com/hexhex/dlliteplugin
added declarative implementation of computing the number of removed assertions avoiding aggregates
fixed agregates
intermediate update
added constraints limiting number of possible assertions for deletion
Merge branch 'master' of https://github.com/hexhex/dlliteplugin
aded constraint limiting number of assertions allowed for deletion in case the respective --replim option is specified