Create more meaningful tests
The past has shown that there are some hidden problems within PJBDD. The goal of this issue is the creation of more tests to avoid these problems in the future. Since our public API is rather small, we can aim for (nearly) 100% test coverage of the core PJBDD components.