NewStateSet: do not hash so often!
Backward: remove logs
MTBDD: add more aggressive caching
PersCacheApply2Functor: eager removing of empty set