added migration, but subtle approximation needed: b vectors are not anymore independent, need more complex state space
can now infer migration using maxl
m
added support for nonzero-leaftimes
testing ignoring single- and doubletons, implemented singleJoin maximization, very useful