fix sat solver caching
some debug code and failing test
alternative seq method, closer to paper
changed parameter order
fixed joinOptList operator and some code cleanup
enforce stronger invariants: no dead elements in the tree
fix tests
eliminate type warnings
deactivate pgp plugin, unnecessary for now
fix compiler error (erasure)