Layered Reachability Analysis | Synapse