Update robotics example, too

Signed-off-by: Marco Lampacrescia <marco.lampacrescia@de.bosch.com>

jani_generator/test/_test_data/robot_navigation_tutorial/properties.jani

@@ -15,15 +15,15 @@
                       "op": "<",
                       "left": {
                         "op": "abs",
-                        "exp": "topic_robot_pose_msg.x"
+                        "exp": "topic_robot_pose_msg.ros_fields__x"
                         },
                       "right": 10.0
                       },
                     "right": {
                       "op": "<",
                       "left": {
                         "op": "abs",
-                        "exp": "topic_robot_pose_msg.y"
+                        "exp": "topic_robot_pose_msg.ros_fields__y"
                         },
                       "right": 10.0
                     }
@@ -37,7 +37,7 @@
                         "op": "abs",
                         "exp": {
                           "op": "-",
-                          "left": "topic_robot_pose_msg.x",
+                          "left": "topic_robot_pose_msg.ros_fields__x",
                           "right": 5.0
                         }
                       },
@@ -49,7 +49,7 @@
                         "op": "abs",
                         "exp": {
                           "op": "-",
-                          "left": "topic_robot_pose_msg.y",
+                          "left": "topic_robot_pose_msg.ros_fields__y",
                           "right": -2.0
                         }
                       },