fix(example.car-agent): revert lane attribute fetching

demo/tacas2023/exp1/output1.json

demo/tacas2023/exp1/output1_sim.json

demo/tacas2023/exp10/output10_dryvr.json

demo/tacas2023/exp2/output2_curve.json

demo/tacas2023/exp2/output2_straight.json

demo/tacas2023/exp3/output3.json

demo/tacas2023/exp4/exp4.py

demo/tacas2023/exp4/output4_noisy.json

demo/tacas2023/exp4/output4_nonoise.json

demo/tacas2023/exp5/output5.json

demo/tacas2023/exp6/output6_dryvr.json

demo/tacas2023/exp6/output6_neureach.json

demo/tacas2023/exp7/output7.json

demo/tacas2023/exp8/output8.json

demo/tacas2023/exp9/output9_dryvr.json

demo/tacas2023/exp9/output9_neureach.json

requirements.txt

setup.py

verse/agents/example_agent/car_agent.py

verse/analysis/verifier.py