rename pbEval to evalPBSum
fix a minor bug of wboNumVars
implement hardening in BCD2 algorithm