DocTestSetup = :(using ReachabilityAnalysis) CurrentModule = ReachabilityAnalysis Projections Concrete projection TODO: document project Lazy projection TODO: document Projection LazySets.Projection