Results for &&(!=([](self::remaining_fruits, end), fruit), collision_possible(self, start, end))
expressions: [*(*(self)->remaining_fruits)->end != fruit || call_ret_value@'analysis/ros-sources/1710322656/vision_node.py':160:84, end != fruit || call_ret_value@'analysis/ros-sources/1710322656/vision_node.py':160:84] state: