adds some PBLTerms and Constraints
adds some tests for PBLConstraints
adds some tests for PBLTerms
adds some constraints
makes some small changes
adds tests for PBLCardinalityConstraints
clears data dependencys between the test suits