Replace VerifCar_template_clean.xml

@@ -241,8 +241,14 @@ int time_to_collision(RangeId id1, RangeId id2){
 		else X_in := 0;
 		else X_in := 0;
 		// X_out if faster B
 		// X_out if faster B
 		if(vx_a < vx_b){
 		if(vx_a < vx_b){
-			if(((px_b-px_a-C_len)*GranX)/((vx_b-vx_a)*GranV) < 100) X_out := ((px_b-px_a-C_len)*GranX*scale)/((vx_b-vx_a)*GranV);
-			else X_out := 100*scale;
+            if(px_b-px_a-C_len > 0){
+			    if(((px_b-px_a-C_len)*GranX)/((vx_b-vx_a)*GranV) < 100) X_out := ((px_b-px_a-C_len)*GranX*scale)/((vx_b-vx_a)*GranV);
+			    else X_out := 100*scale;
+            }
+            else{
+			    if(((C_len-(px_b-px_a))*GranX)/((vx_b-vx_a)*GranV) < 100) X_out := ((C_len-(px_b-px_a))*GranX*scale)/((vx_b-vx_a)*GranV);
+			    else X_out := 100*scale;
+            }
 		}
 		}
 		// X_out if equal speed
 		// X_out if equal speed
 		else{
 		else{