tsInitStates %= Map.fromList all_initstates
test_binds <- catMaybesM $ Monad.mapM mkTest specs
let topbinds = Maybe.catMaybes $ map (\(top, _, _) -> top) specs
tsInitStates %= Map.fromList all_initstates
test_binds <- catMaybesM $ Monad.mapM mkTest specs
let topbinds = Maybe.catMaybes $ map (\(top, _, _) -> top) specs