adding a part of the lazy data structure watched literals
fixing a bug in class PBLVariable
updates the counters technique for PBLConstraints
completes the lazy data structure watched literals for cardinality constraints
adds an assign method to class PBLVariable
fixed some bugs