forgot to index negative disjunctions (fix + test)
flags to controll printing of statistics; some additional test in the
optimized subsumption test
small changes