Fixed DoubleLatch, working BFS model?