getDensity :: TM TickDensity
getDensity = TM $ \env st -> (density env, noFVs, st)
getDensity :: TM TickDensity
getDensity = TM $ \env st -> (density env, noFVs, st)
getDensity = TM $ \env st -> (density env, noFVs, st)