Implements checkboxesList/1
Defines reportVerify/2 prototype for futur implementation
Defines reportPrune/4 to prune ignored checkboxes because of others