-XBT_PUBLIC Exploration* create_liveness_checker(Session* session);
-XBT_PUBLIC Exploration* create_dfs_exploration(Session* session);
-XBT_PUBLIC Exploration* create_communication_determinism_checker(Session* session);
-XBT_PUBLIC Exploration* create_udpor_checker(Session* session);
+XBT_PUBLIC Exploration* create_liveness_checker(RemoteApp* remote_app);
+XBT_PUBLIC Exploration* create_dfs_exploration(RemoteApp* remote_app);
+XBT_PUBLIC Exploration* create_communication_determinism_checker(RemoteApp* remote_app);
+XBT_PUBLIC Exploration* create_udpor_checker(RemoteApp* remote_app);