refactor(mcp): clarify sync split-transform flag naming

Agent-Logs-Url: https://github.com/goblint/analyzer/sessions/351c80a9-dc9f-4603-a357-a186a213399d

Co-authored-by: michael-schwarz <13812333+michael-schwarz@users.noreply.github.com>

Author: Copilot

src/analyses/mCP.ml

@@ -510,7 +510,7 @@ struct
     let d = do_emits man !emits d q in
     if q then raise Deadcode else d
 
-  let rec sync_with_split_tf apply_split_tf (man:(D.t, G.t, C.t, V.t) man) reason =
+  let rec sync_with_split_tf should_transform_splits (man:(D.t, G.t, C.t, V.t) man) reason =
     let spawns = ref [] in
     let splits = ref [] in
     let sides  = ref [] in
@@ -524,7 +524,7 @@ struct
     do_sideg man !sides;
     do_spawns man !spawns;
     let local_tf =
-      if apply_split_tf then
+      if should_transform_splits then
         fun d -> sync_with_split_tf false {man with local = d} reason
       else
         Fun.id