remove unnecessary calls of pbOverSAT
optimize AtLeastHandler.basicPropagate