(((G[0,12] (((X[3] InSameLane_V257) & (X[3] Behind_V257) & (! (F[0,2] ((! CutIn_V257) & (X CutIn_V257))))) -> (X[3] KeepsSafeDistancePrec_V257))) & ((((X InSameLane_V257) & (X Behind_V257) & (! (F[0,0] ((! CutIn_V257) & (X CutIn_V257))))) -> (X KeepsSafeDistancePrec_V257)) & (((X[2] InSameLane_V257) & (X[2] Behind_V257) & (! (F[0,1] ((! CutIn_V257) & (X CutIn_V257))))) -> (X[2] KeepsSafeDistancePrec_V257)) & ((InSameLane_V257 & Behind_V257) -> KeepsSafeDistancePrec_V257))) & ((G[0,12] (((X[3] InSameLane_V272) & (X[3] Behind_V272) & (! (F[0,2] ((! CutIn_V272) & (X CutIn_V272))))) -> (X[3] KeepsSafeDistancePrec_V272))) & ((((X InSameLane_V272) & (X Behind_V272) & (! (F[0,0] ((! CutIn_V272) & (X CutIn_V272))))) -> (X KeepsSafeDistancePrec_V272)) & (((X[2] InSameLane_V272) & (X[2] Behind_V272) & (! (F[0,1] ((! CutIn_V272) & (X CutIn_V272))))) -> (X[2] KeepsSafeDistancePrec_V272)) & ((InSameLane_V272 & Behind_V272) -> KeepsSafeDistancePrec_V272))) & ((G[0,12] (((X[3] InSameLane_V277) & (X[3] Behind_V277) & (! (F[0,2] ((! CutIn_V277) & (X CutIn_V277))))) -> (X[3] KeepsSafeDistancePrec_V277))) & ((((X InSameLane_V277) & (X Behind_V277) & (! (F[0,0] ((! CutIn_V277) & (X CutIn_V277))))) -> (X KeepsSafeDistancePrec_V277)) & (((X[2] InSameLane_V277) & (X[2] Behind_V277) & (! (F[0,1] ((! CutIn_V277) & (X CutIn_V277))))) -> (X[2] KeepsSafeDistancePrec_V277)) & ((InSameLane_V277 & Behind_V277) -> KeepsSafeDistancePrec_V277))) & ((G[0,12] (((X[3] InSameLane_V278) & (X[3] Behind_V278) & (! (F[0,2] ((! CutIn_V278) & (X CutIn_V278))))) -> (X[3] KeepsSafeDistancePrec_V278))) & ((((X InSameLane_V278) & (X Behind_V278) & (! (F[0,0] ((! CutIn_V278) & (X CutIn_V278))))) -> (X KeepsSafeDistancePrec_V278)) & (((X[2] InSameLane_V278) & (X[2] Behind_V278) & (! (F[0,1] ((! CutIn_V278) & (X CutIn_V278))))) -> (X[2] KeepsSafeDistancePrec_V278)) & ((InSameLane_V278 & Behind_V278) -> KeepsSafeDistancePrec_V278))) & ((G[0,12] (((X[3] InSameLane_V279) & (X[3] Behind_V279) & (! (F[0,2] ((! CutIn_V279) & (X CutIn_V279))))) -> (X[3] KeepsSafeDistancePrec_V279))) & ((((X InSameLane_V279) & (X Behind_V279) & (! (F[0,0] ((! CutIn_V279) & (X CutIn_V279))))) -> (X KeepsSafeDistancePrec_V279)) & (((X[2] InSameLane_V279) & (X[2] Behind_V279) & (! (F[0,1] ((! CutIn_V279) & (X CutIn_V279))))) -> (X[2] KeepsSafeDistancePrec_V279)) & ((InSameLane_V279 & Behind_V279) -> KeepsSafeDistancePrec_V279))) & ((G[0,12] (((X[3] InSameLane_V280) & (X[3] Behind_V280) & (! (F[0,2] ((! CutIn_V280) & (X CutIn_V280))))) -> (X[3] KeepsSafeDistancePrec_V280))) & ((((X InSameLane_V280) & (X Behind_V280) & (! (F[0,0] ((! CutIn_V280) & (X CutIn_V280))))) -> (X KeepsSafeDistancePrec_V280)) & (((X[2] InSameLane_V280) & (X[2] Behind_V280) & (! (F[0,1] ((! CutIn_V280) & (X CutIn_V280))))) -> (X[2] KeepsSafeDistancePrec_V280)) & ((InSameLane_V280 & Behind_V280) -> KeepsSafeDistancePrec_V280))) & ((G[0,12] (((X[3] InSameLane_V281) & (X[3] Behind_V281) & (! (F[0,2] ((! CutIn_V281) & (X CutIn_V281))))) -> (X[3] KeepsSafeDistancePrec_V281))) & ((((X InSameLane_V281) & (X Behind_V281) & (! (F[0,0] ((! CutIn_V281) & (X CutIn_V281))))) -> (X KeepsSafeDistancePrec_V281)) & (((X[2] InSameLane_V281) & (X[2] Behind_V281) & (! (F[0,1] ((! CutIn_V281) & (X CutIn_V281))))) -> (X[2] KeepsSafeDistancePrec_V281)) & ((InSameLane_V281 & Behind_V281) -> KeepsSafeDistancePrec_V281))) & ((G[0,12] (((X[3] InSameLane_V282) & (X[3] Behind_V282) & (! (F[0,2] ((! CutIn_V282) & (X CutIn_V282))))) -> (X[3] KeepsSafeDistancePrec_V282))) & ((((X InSameLane_V282) & (X Behind_V282) & (! (F[0,0] ((! CutIn_V282) & (X CutIn_V282))))) -> (X KeepsSafeDistancePrec_V282)) & (((X[2] InSameLane_V282) & (X[2] Behind_V282) & (! (F[0,1] ((! CutIn_V282) & (X CutIn_V282))))) -> (X[2] KeepsSafeDistancePrec_V282)) & ((InSameLane_V282 & Behind_V282) -> KeepsSafeDistancePrec_V282))) & ((G[0,12] (((X[3] InSameLane_V284) & (X[3] Behind_V284) & (! (F[0,2] ((! CutIn_V284) & (X CutIn_V284))))) -> (X[3] KeepsSafeDistancePrec_V284))) & ((((X InSameLane_V284) & (X Behind_V284) & (! (F[0,0] ((! CutIn_V284) & (X CutIn_V284))))) -> (X KeepsSafeDistancePrec_V284)) & (((X[2] InSameLane_V284) & (X[2] Behind_V284) & (! (F[0,1] ((! CutIn_V284) & (X CutIn_V284))))) -> (X[2] KeepsSafeDistancePrec_V284)) & ((InSameLane_V284 & Behind_V284) -> KeepsSafeDistancePrec_V284))) & ((G[0,12] (((X[3] InSameLane_V285) & (X[3] Behind_V285) & (! (F[0,2] ((! CutIn_V285) & (X CutIn_V285))))) -> (X[3] KeepsSafeDistancePrec_V285))) & ((((X InSameLane_V285) & (X Behind_V285) & (! (F[0,0] ((! CutIn_V285) & (X CutIn_V285))))) -> (X KeepsSafeDistancePrec_V285)) & (((X[2] InSameLane_V285) & (X[2] Behind_V285) & (! (F[0,1] ((! CutIn_V285) & (X CutIn_V285))))) -> (X[2] KeepsSafeDistancePrec_V285)) & ((InSameLane_V285 & Behind_V285) -> KeepsSafeDistancePrec_V285))) & ((G[0,12] (((X[3] InSameLane_V289) & (X[3] Behind_V289) & (! (F[0,2] ((! CutIn_V289) & (X CutIn_V289))))) -> (X[3] KeepsSafeDistancePrec_V289))) & ((((X InSameLane_V289) & (X Behind_V289) & (! (F[0,0] ((! CutIn_V289) & (X CutIn_V289))))) -> (X KeepsSafeDistancePrec_V289)) & (((X[2] InSameLane_V289) & (X[2] Behind_V289) & (! (F[0,1] ((! CutIn_V289) & (X CutIn_V289))))) -> (X[2] KeepsSafeDistancePrec_V289)) & ((InSameLane_V289 & Behind_V289) -> KeepsSafeDistancePrec_V289))) & ((G[0,12] (((X[3] InSameLane_V290) & (X[3] Behind_V290) & (! (F[0,2] ((! CutIn_V290) & (X CutIn_V290))))) -> (X[3] KeepsSafeDistancePrec_V290))) & ((((X InSameLane_V290) & (X Behind_V290) & (! (F[0,0] ((! CutIn_V290) & (X CutIn_V290))))) -> (X KeepsSafeDistancePrec_V290)) & (((X[2] InSameLane_V290) & (X[2] Behind_V290) & (! (F[0,1] ((! CutIn_V290) & (X CutIn_V290))))) -> (X[2] KeepsSafeDistancePrec_V290)) & ((InSameLane_V290 & Behind_V290) -> KeepsSafeDistancePrec_V290))) & ((G[0,12] (((X[3] InSameLane_V292) & (X[3] Behind_V292) & (! (F[0,2] ((! CutIn_V292) & (X CutIn_V292))))) -> (X[3] KeepsSafeDistancePrec_V292))) & ((((X InSameLane_V292) & (X Behind_V292) & (! (F[0,0] ((! CutIn_V292) & (X CutIn_V292))))) -> (X KeepsSafeDistancePrec_V292)) & (((X[2] InSameLane_V292) & (X[2] Behind_V292) & (! (F[0,1] ((! CutIn_V292) & (X CutIn_V292))))) -> (X[2] KeepsSafeDistancePrec_V292)) & ((InSameLane_V292 & Behind_V292) -> KeepsSafeDistancePrec_V292))) & ((G[0,12] (((X[3] InSameLane_V295) & (X[3] Behind_V295) & (! (F[0,2] ((! CutIn_V295) & (X CutIn_V295))))) -> (X[3] KeepsSafeDistancePrec_V295))) & ((((X InSameLane_V295) & (X Behind_V295) & (! (F[0,0] ((! CutIn_V295) & (X CutIn_V295))))) -> (X KeepsSafeDistancePrec_V295)) & (((X[2] InSameLane_V295) & (X[2] Behind_V295) & (! (F[0,1] ((! CutIn_V295) & (X CutIn_V295))))) -> (X[2] KeepsSafeDistancePrec_V295)) & ((InSameLane_V295 & Behind_V295) -> KeepsSafeDistancePrec_V295))) & ((G[0,12] (((X[3] InSameLane_V296) & (X[3] Behind_V296) & (! (F[0,2] ((! CutIn_V296) & (X CutIn_V296))))) -> (X[3] KeepsSafeDistancePrec_V296))) & ((((X InSameLane_V296) & (X Behind_V296) & (! (F[0,0] ((! CutIn_V296) & (X CutIn_V296))))) -> (X KeepsSafeDistancePrec_V296)) & (((X[2] InSameLane_V296) & (X[2] Behind_V296) & (! (F[0,1] ((! CutIn_V296) & (X CutIn_V296))))) -> (X[2] KeepsSafeDistancePrec_V296)) & ((InSameLane_V296 & Behind_V296) -> KeepsSafeDistancePrec_V296))) & ((G[0,12] (((X[3] InSameLane_V297) & (X[3] Behind_V297) & (! (F[0,2] ((! CutIn_V297) & (X CutIn_V297))))) -> (X[3] KeepsSafeDistancePrec_V297))) & ((((X InSameLane_V297) & (X Behind_V297) & (! (F[0,0] ((! CutIn_V297) & (X CutIn_V297))))) -> (X KeepsSafeDistancePrec_V297)) & (((X[2] InSameLane_V297) & (X[2] Behind_V297) & (! (F[0,1] ((! CutIn_V297) & (X CutIn_V297))))) -> (X[2] KeepsSafeDistancePrec_V297)) & ((InSameLane_V297 & Behind_V297) -> KeepsSafeDistancePrec_V297))) & ((G[0,12] (((X[3] InSameLane_V298) & (X[3] Behind_V298) & (! (F[0,2] ((! CutIn_V298) & (X CutIn_V298))))) -> (X[3] KeepsSafeDistancePrec_V298))) & ((((X InSameLane_V298) & (X Behind_V298) & (! (F[0,0] ((! CutIn_V298) & (X CutIn_V298))))) -> (X KeepsSafeDistancePrec_V298)) & (((X[2] InSameLane_V298) & (X[2] Behind_V298) & (! (F[0,1] ((! CutIn_V298) & (X CutIn_V298))))) -> (X[2] KeepsSafeDistancePrec_V298)) & ((InSameLane_V298 & Behind_V298) -> KeepsSafeDistancePrec_V298))) & ((G[0,12] (((X[3] InSameLane_V300) & (X[3] Behind_V300) & (! (F[0,2] ((! CutIn_V300) & (X CutIn_V300))))) -> (X[3] KeepsSafeDistancePrec_V300))) & ((((X InSameLane_V300) & (X Behind_V300) & (! (F[0,0] ((! CutIn_V300) & (X CutIn_V300))))) -> (X KeepsSafeDistancePrec_V300)) & (((X[2] InSameLane_V300) & (X[2] Behind_V300) & (! (F[0,1] ((! CutIn_V300) & (X CutIn_V300))))) -> (X[2] KeepsSafeDistancePrec_V300)) & ((InSameLane_V300 & Behind_V300) -> KeepsSafeDistancePrec_V300))) & ((G[0,12] (((X[3] InSameLane_V301) & (X[3] Behind_V301) & (! (F[0,2] ((! CutIn_V301) & (X CutIn_V301))))) -> (X[3] KeepsSafeDistancePrec_V301))) & ((((X InSameLane_V301) & (X Behind_V301) & (! (F[0,0] ((! CutIn_V301) & (X CutIn_V301))))) -> (X KeepsSafeDistancePrec_V301)) & (((X[2] InSameLane_V301) & (X[2] Behind_V301) & (! (F[0,1] ((! CutIn_V301) & (X CutIn_V301))))) -> (X[2] KeepsSafeDistancePrec_V301)) & ((InSameLane_V301 & Behind_V301) -> KeepsSafeDistancePrec_V301))) & ((G[0,12] (((X[3] InSameLane_V302) & (X[3] Behind_V302) & (! (F[0,2] ((! CutIn_V302) & (X CutIn_V302))))) -> (X[3] KeepsSafeDistancePrec_V302))) & ((((X InSameLane_V302) & (X Behind_V302) & (! (F[0,0] ((! CutIn_V302) & (X CutIn_V302))))) -> (X KeepsSafeDistancePrec_V302)) & (((X[2] InSameLane_V302) & (X[2] Behind_V302) & (! (F[0,1] ((! CutIn_V302) & (X CutIn_V302))))) -> (X[2] KeepsSafeDistancePrec_V302)) & ((InSameLane_V302 & Behind_V302) -> KeepsSafeDistancePrec_V302))) & ((G[0,12] (((X[3] InSameLane_V304) & (X[3] Behind_V304) & (! (F[0,2] ((! CutIn_V304) & (X CutIn_V304))))) -> (X[3] KeepsSafeDistancePrec_V304))) & ((((X InSameLane_V304) & (X Behind_V304) & (! (F[0,0] ((! CutIn_V304) & (X CutIn_V304))))) -> (X KeepsSafeDistancePrec_V304)) & (((X[2] InSameLane_V304) & (X[2] Behind_V304) & (! (F[0,1] ((! CutIn_V304) & (X CutIn_V304))))) -> (X[2] KeepsSafeDistancePrec_V304)) & ((InSameLane_V304 & Behind_V304) -> KeepsSafeDistancePrec_V304))) & ((G[0,12] (((X[3] InSameLane_V305) & (X[3] Behind_V305) & (! (F[0,2] ((! CutIn_V305) & (X CutIn_V305))))) -> (X[3] KeepsSafeDistancePrec_V305))) & ((((X InSameLane_V305) & (X Behind_V305) & (! (F[0,0] ((! CutIn_V305) & (X CutIn_V305))))) -> (X KeepsSafeDistancePrec_V305)) & (((X[2] InSameLane_V305) & (X[2] Behind_V305) & (! (F[0,1] ((! CutIn_V305) & (X CutIn_V305))))) -> (X[2] KeepsSafeDistancePrec_V305)) & ((InSameLane_V305 & Behind_V305) -> KeepsSafeDistancePrec_V305))) & ((G[0,12] (((X[3] InSameLane_V306) & (X[3] Behind_V306) & (! (F[0,2] ((! CutIn_V306) & (X CutIn_V306))))) -> (X[3] KeepsSafeDistancePrec_V306))) & ((((X InSameLane_V306) & (X Behind_V306) & (! (F[0,0] ((! CutIn_V306) & (X CutIn_V306))))) -> (X KeepsSafeDistancePrec_V306)) & (((X[2] InSameLane_V306) & (X[2] Behind_V306) & (! (F[0,1] ((! CutIn_V306) & (X CutIn_V306))))) -> (X[2] KeepsSafeDistancePrec_V306)) & ((InSameLane_V306 & Behind_V306) -> KeepsSafeDistancePrec_V306))) & ((G[0,12] (((X[3] InSameLane_V311) & (X[3] Behind_V311) & (! (F[0,2] ((! CutIn_V311) & (X CutIn_V311))))) -> (X[3] KeepsSafeDistancePrec_V311))) & ((((X InSameLane_V311) & (X Behind_V311) & (! (F[0,0] ((! CutIn_V311) & (X CutIn_V311))))) -> (X KeepsSafeDistancePrec_V311)) & (((X[2] InSameLane_V311) & (X[2] Behind_V311) & (! (F[0,1] ((! CutIn_V311) & (X CutIn_V311))))) -> (X[2] KeepsSafeDistancePrec_V311)) & ((InSameLane_V311 & Behind_V311) -> KeepsSafeDistancePrec_V311))) & ((G[0,12] (((X[3] InSameLane_V319) & (X[3] Behind_V319) & (! (F[0,2] ((! CutIn_V319) & (X CutIn_V319))))) -> (X[3] KeepsSafeDistancePrec_V319))) & ((((X InSameLane_V319) & (X Behind_V319) & (! (F[0,0] ((! CutIn_V319) & (X CutIn_V319))))) -> (X KeepsSafeDistancePrec_V319)) & (((X[2] InSameLane_V319) & (X[2] Behind_V319) & (! (F[0,1] ((! CutIn_V319) & (X CutIn_V319))))) -> (X[2] KeepsSafeDistancePrec_V319)) & ((InSameLane_V319 & Behind_V319) -> KeepsSafeDistancePrec_V319))) & ((G[0,12] (((X[3] InSameLane_V320) & (X[3] Behind_V320) & (! (F[0,2] ((! CutIn_V320) & (X CutIn_V320))))) -> (X[3] KeepsSafeDistancePrec_V320))) & ((((X InSameLane_V320) & (X Behind_V320) & (! (F[0,0] ((! CutIn_V320) & (X CutIn_V320))))) -> (X KeepsSafeDistancePrec_V320)) & (((X[2] InSameLane_V320) & (X[2] Behind_V320) & (! (F[0,1] ((! CutIn_V320) & (X CutIn_V320))))) -> (X[2] KeepsSafeDistancePrec_V320)) & ((InSameLane_V320 & Behind_V320) -> KeepsSafeDistancePrec_V320))) & ((G[0,12] (((X[3] InSameLane_V321) & (X[3] Behind_V321) & (! (F[0,2] ((! CutIn_V321) & (X CutIn_V321))))) -> (X[3] KeepsSafeDistancePrec_V321))) & ((((X InSameLane_V321) & (X Behind_V321) & (! (F[0,0] ((! CutIn_V321) & (X CutIn_V321))))) -> (X KeepsSafeDistancePrec_V321)) & (((X[2] InSameLane_V321) & (X[2] Behind_V321) & (! (F[0,1] ((! CutIn_V321) & (X CutIn_V321))))) -> (X[2] KeepsSafeDistancePrec_V321)) & ((InSameLane_V321 & Behind_V321) -> KeepsSafeDistancePrec_V321))) & ((G[0,12] (((X[3] InSameLane_V322) & (X[3] Behind_V322) & (! (F[0,2] ((! CutIn_V322) & (X CutIn_V322))))) -> (X[3] KeepsSafeDistancePrec_V322))) & ((((X InSameLane_V322) & (X Behind_V322) & (! (F[0,0] ((! CutIn_V322) & (X CutIn_V322))))) -> (X KeepsSafeDistancePrec_V322)) & (((X[2] InSameLane_V322) & (X[2] Behind_V322) & (! (F[0,1] ((! CutIn_V322) & (X CutIn_V322))))) -> (X[2] KeepsSafeDistancePrec_V322)) & ((InSameLane_V322 & Behind_V322) -> KeepsSafeDistancePrec_V322))) & ((G[0,12] (((X[3] InSameLane_V328) & (X[3] Behind_V328) & (! (F[0,2] ((! CutIn_V328) & (X CutIn_V328))))) -> (X[3] KeepsSafeDistancePrec_V328))) & ((((X InSameLane_V328) & (X Behind_V328) & (! (F[0,0] ((! CutIn_V328) & (X CutIn_V328))))) -> (X KeepsSafeDistancePrec_V328)) & (((X[2] InSameLane_V328) & (X[2] Behind_V328) & (! (F[0,1] ((! CutIn_V328) & (X CutIn_V328))))) -> (X[2] KeepsSafeDistancePrec_V328)) & ((InSameLane_V328 & Behind_V328) -> KeepsSafeDistancePrec_V328))) & ((G[0,12] (((X[3] InSameLane_V329) & (X[3] Behind_V329) & (! (F[0,2] ((! CutIn_V329) & (X CutIn_V329))))) -> (X[3] KeepsSafeDistancePrec_V329))) & ((((X InSameLane_V329) & (X Behind_V329) & (! (F[0,0] ((! CutIn_V329) & (X CutIn_V329))))) -> (X KeepsSafeDistancePrec_V329)) & (((X[2] InSameLane_V329) & (X[2] Behind_V329) & (! (F[0,1] ((! CutIn_V329) & (X CutIn_V329))))) -> (X[2] KeepsSafeDistancePrec_V329)) & ((InSameLane_V329 & Behind_V329) -> KeepsSafeDistancePrec_V329))) & ((G[0,12] (((X[3] InSameLane_V331) & (X[3] Behind_V331) & (! (F[0,2] ((! CutIn_V331) & (X CutIn_V331))))) -> (X[3] KeepsSafeDistancePrec_V331))) & ((((X InSameLane_V331) & (X Behind_V331) & (! (F[0,0] ((! CutIn_V331) & (X CutIn_V331))))) -> (X KeepsSafeDistancePrec_V331)) & (((X[2] InSameLane_V331) & (X[2] Behind_V331) & (! (F[0,1] ((! CutIn_V331) & (X CutIn_V331))))) -> (X[2] KeepsSafeDistancePrec_V331)) & ((InSameLane_V331 & Behind_V331) -> KeepsSafeDistancePrec_V331))) & ((G[0,12] (((X[3] InSameLane_V363) & (X[3] Behind_V363) & (! (F[0,2] ((! CutIn_V363) & (X CutIn_V363))))) -> (X[3] KeepsSafeDistancePrec_V363))) & ((((X InSameLane_V363) & (X Behind_V363) & (! (F[0,0] ((! CutIn_V363) & (X CutIn_V363))))) -> (X KeepsSafeDistancePrec_V363)) & (((X[2] InSameLane_V363) & (X[2] Behind_V363) & (! (F[0,1] ((! CutIn_V363) & (X CutIn_V363))))) -> (X[2] KeepsSafeDistancePrec_V363)) & ((InSameLane_V363 & Behind_V363) -> KeepsSafeDistancePrec_V363))) & ((G[0,12] (((X[3] InSameLane_V376) & (X[3] Behind_V376) & (! (F[0,2] ((! CutIn_V376) & (X CutIn_V376))))) -> (X[3] KeepsSafeDistancePrec_V376))) & ((((X InSameLane_V376) & (X Behind_V376) & (! (F[0,0] ((! CutIn_V376) & (X CutIn_V376))))) -> (X KeepsSafeDistancePrec_V376)) & (((X[2] InSameLane_V376) & (X[2] Behind_V376) & (! (F[0,1] ((! CutIn_V376) & (X CutIn_V376))))) -> (X[2] KeepsSafeDistancePrec_V376)) & ((InSameLane_V376 & Behind_V376) -> KeepsSafeDistancePrec_V376))) & ((G[0,12] (((X[3] InSameLane_V396) & (X[3] Behind_V396) & (! (F[0,2] ((! CutIn_V396) & (X CutIn_V396))))) -> (X[3] KeepsSafeDistancePrec_V396))) & ((((X InSameLane_V396) & (X Behind_V396) & (! (F[0,0] ((! CutIn_V396) & (X CutIn_V396))))) -> (X KeepsSafeDistancePrec_V396)) & (((X[2] InSameLane_V396) & (X[2] Behind_V396) & (! (F[0,1] ((! CutIn_V396) & (X CutIn_V396))))) -> (X[2] KeepsSafeDistancePrec_V396)) & ((InSameLane_V396 & Behind_V396) -> KeepsSafeDistancePrec_V396))))
