Hybrid_Multi_Lane_Spatial_Logic.Safety_Perfect