tau-aggregate minimization implemented
deadlockAnalysis bug fixed
Lts* res
change scheme
LtsPtr --> starts to work
forgot LtsPtr::clear()
better Lts refernces
LtsPtr::delegate() makes things work
LtsPtr commented
LtsPtr::{get, put}
better DBG_REFCNT