diff --git a/demo/tacas2023/exp4/noisy_sensor.py b/demo/tacas2023/exp4/noisy_sensor.py
index 5dd6eb3b25e94e9010c5e6ca82eae90e232ff80d..890553a408be3aaeab6c4f4cfb3d0af2294e9a46 100644
--- a/demo/tacas2023/exp4/noisy_sensor.py
+++ b/demo/tacas2023/exp4/noisy_sensor.py
@@ -7,8 +7,8 @@ class NoisyVehicleSensor(BaseSensor):
         self.noise_x = noise_x
         self.noise_y = noise_y
 
-    def sense(self, scenario, agent, state_dict, track_map):
-        cont, disc, len_dict = super().sense(scenario, agent, state_dict, track_map)
+    def sense(self, agent, state_dict, track_map):
+        cont, disc, len_dict = super().sense(agent, state_dict, track_map)
         tmp = np.array(list(state_dict.values())[0][0])
         if tmp.ndim<2:
             return cont, disc, len_dict
diff --git a/verse/analysis/verifier.py b/verse/analysis/verifier.py
index 91dcf7cd9a6ef0451daa325463b88a289611c883..ea4b1371e4543b544bc3059ffac5f6b3ba37aefa 100644
--- a/verse/analysis/verifier.py
+++ b/verse/analysis/verifier.py
@@ -433,6 +433,9 @@ class Verifier:
         past_runs,
         params = {},
     ):
+        if (max_height == None):
+            max_height = float('inf')
+        
         root = AnalysisTreeNode(
             trace={},
             init={},
diff --git a/verse/map/example_map/map_tacas.py b/verse/map/example_map/map_tacas.py
index c5ffbc1f8fee3f29696072fa473ec5d4c47eb3f6..ea9285d90f3999dac254d093111f71728d808c3a 100644
--- a/verse/map/example_map/map_tacas.py
+++ b/verse/map/example_map/map_tacas.py
@@ -254,9 +254,21 @@ class M5(LaneMap_3d):
         }
 
     def h(self, lane_idx: str, agent_mode_src: str, agent_mode_dest: str) -> str:
+        if not isinstance(lane_idx,str):
+            lane_idx = lane_idx.name
+        if not isinstance(agent_mode_src,str):
+            agent_mode_src = agent_mode_src.name
+        if not isinstance(agent_mode_dest,str):
+            agent_mode_dest = agent_mode_dest.name
         return self.h_dict[(lane_idx, agent_mode_src, agent_mode_dest)]
 
     def h_exist(self, lane_idx: str, agent_mode_src: str, agent_mode_dest: str) -> bool:
+        if not isinstance(lane_idx,str):
+            lane_idx = lane_idx.name
+        if not isinstance(agent_mode_src,str):
+            agent_mode_src = agent_mode_src.name
+        if not isinstance(agent_mode_dest,str):
+            agent_mode_dest = agent_mode_dest.name
         if (lane_idx, agent_mode_src, agent_mode_dest) in self.h_dict:
             return True
         else: