working on verification of the two car straight lane example

example_two_car_lane_switch.py

ourtool/analysis/__init__.py

ourtool/analysis/analysis_tree_node.py

ourtool/analysis/simulator.py

ourtool/analysis/verifier.py

ourtool/dryvr/__init__.py

ourtool/dryvr/common/__init__.py

ourtool/dryvr/common/config.py

ourtool/dryvr/common/constant.py

ourtool/dryvr/common/io.py

ourtool/dryvr/common/utils.py

ourtool/dryvr/core/__init__.py

ourtool/dryvr/core/distance.py

ourtool/dryvr/core/dryvrcore.py

ourtool/dryvr/core/dryvrmain.py

ourtool/dryvr/core/goalchecker.py

ourtool/dryvr/core/graph.py

ourtool/dryvr/core/guard.py

ourtool/dryvr/core/initialset.py

ourtool/dryvr/core/initialsetstack.py