Problems in check_safety_criterion().

[barisalhan]

Model-based agents cause traffic accidents. Make sure that safety criteria work well.

[barisalhan]

It is mostly solved.
There are still problems when two vehicles decide to go to the same lane. However, even in that condition, the braking system of the rear vehicle works properly. The chance of an accident is dramatically decreased.