fixup: add tests and bug-test script for PR #262

- Add `cmd_microflows_builder_terminal_test.go` covering lastStmtIsReturn
  across all terminal-statement shapes: plain return, RaiseErrorStmt, IF
  without ELSE (non-terminal), IF with both branches returning, else-if
  chains, mixed return/raise, and LOOP (never terminal per BREAK semantics).
- Add `mdl-examples/bug-tests/262-terminal-nested-if-no-dangling-merge.mdl`
  reproducer per CLAUDE.md checklist.

Author: hjothamendix

mdl-examples/bug-tests/262-terminal-nested-if-no-dangling-merge.mdl

@@ -0,0 +1,53 @@
+-- ============================================================================
+-- Bug #262: Treat terminal nested IF as returning in flow builder
+-- ============================================================================
+--
+-- Symptom (before fix):
+--   A microflow whose body ends in `if { return } else { return }` was not
+--   detected as terminal. The outer flow builder created a merge node and a
+--   dangling continuation edge that pointed at no activity. Studio Pro raised
+--   "KeyNotFoundException" / "Sequence contains no matching element" on open.
+--
+-- After fix:
+--   lastStmtIsReturn recurses through IfStmt via the new isTerminalStmt helper,
+--   so an IF with an ELSE where both branches return is treated as terminal —
+--   no merge emitted, no dangling edge.
+--
+-- Usage:
+--   mxcli exec mdl-examples/bug-tests/262-terminal-nested-if-no-dangling-merge.mdl -p app.mpr
+--   Open in Studio Pro — no dangling edge, flow graph is clean.
+-- ============================================================================
+
+create module BugTest262;
+
+create microflow BugTest262.MF_BothBranchesReturn (
+  $input: string
+)
+returns string as $result
+begin
+  declare $result string = empty;
+
+  if $input = 'a' then
+    return 'was a';
+  else
+    return 'not a';
+  end if;
+end;
+/
+
+create microflow BugTest262.MF_ElseIfChainAllReturn (
+  $input: string
+)
+returns string as $result
+begin
+  declare $result string = empty;
+
+  if $input = 'a' then
+    return 'a';
+  elsif $input = 'b' then
+    return 'b';
+  else
+    return 'other';
+  end if;
+end;
+/

mdl/executor/cmd_microflows_builder_terminal_test.go

@@ -0,0 +1,99 @@
+// SPDX-License-Identifier: Apache-2.0
+
+package executor
+
+import (
+	"testing"
+
+	"github.com/mendixlabs/mxcli/mdl/ast"
+)
+
+func TestLastStmtIsReturn_EmptyBody(t *testing.T) {
+	if lastStmtIsReturn(nil) {
+		t.Error("empty body must not be terminal")
+	}
+}
+
+func TestLastStmtIsReturn_PlainReturn(t *testing.T) {
+	body := []ast.MicroflowStatement{&ast.ReturnStmt{}}
+	if !lastStmtIsReturn(body) {
+		t.Error("body ending in ReturnStmt must be terminal")
+	}
+}
+
+func TestLastStmtIsReturn_RaiseError(t *testing.T) {
+	body := []ast.MicroflowStatement{&ast.RaiseErrorStmt{}}
+	if !lastStmtIsReturn(body) {
+		t.Error("body ending in RaiseErrorStmt must be terminal")
+	}
+}
+
+func TestLastStmtIsReturn_IfWithoutElse_NotTerminal(t *testing.T) {
+	body := []ast.MicroflowStatement{
+		&ast.IfStmt{ThenBody: []ast.MicroflowStatement{&ast.ReturnStmt{}}},
+	}
+	if lastStmtIsReturn(body) {
+		t.Error("IF without ELSE must not be terminal (false path falls through)")
+	}
+}
+
+func TestLastStmtIsReturn_IfBothBranchesReturn_Terminal(t *testing.T) {
+	body := []ast.MicroflowStatement{
+		&ast.IfStmt{
+			ThenBody: []ast.MicroflowStatement{&ast.ReturnStmt{}},
+			ElseBody: []ast.MicroflowStatement{&ast.ReturnStmt{}},
+		},
+	}
+	if !lastStmtIsReturn(body) {
+		t.Error("IF/ELSE where both branches return must be terminal")
+	}
+}
+
+func TestLastStmtIsReturn_IfOnlyThenReturns_NotTerminal(t *testing.T) {
+	body := []ast.MicroflowStatement{
+		&ast.IfStmt{
+			ThenBody: []ast.MicroflowStatement{&ast.ReturnStmt{}},
+			ElseBody: []ast.MicroflowStatement{&ast.LogStmt{}}, // non-terminal
+		},
+	}
+	if lastStmtIsReturn(body) {
+		t.Error("IF/ELSE where only THEN terminates must not be terminal")
+	}
+}
+
+func TestLastStmtIsReturn_NestedIfChain_Terminal(t *testing.T) {
+	// if { return } else if { return } else { return }
+	inner := &ast.IfStmt{
+		ThenBody: []ast.MicroflowStatement{&ast.ReturnStmt{}},
+		ElseBody: []ast.MicroflowStatement{&ast.ReturnStmt{}},
+	}
+	outer := &ast.IfStmt{
+		ThenBody: []ast.MicroflowStatement{&ast.ReturnStmt{}},
+		ElseBody: []ast.MicroflowStatement{inner},
+	}
+	if !lastStmtIsReturn([]ast.MicroflowStatement{outer}) {
+		t.Error("else-if chain where every terminal branch returns must be terminal")
+	}
+}
+
+func TestLastStmtIsReturn_RaiseErrorMixed_Terminal(t *testing.T) {
+	body := []ast.MicroflowStatement{
+		&ast.IfStmt{
+			ThenBody: []ast.MicroflowStatement{&ast.ReturnStmt{}},
+			ElseBody: []ast.MicroflowStatement{&ast.RaiseErrorStmt{}},
+		},
+	}
+	if !lastStmtIsReturn(body) {
+		t.Error("IF/ELSE with return on one side and raise error on the other must be terminal")
+	}
+}
+
+func TestLastStmtIsReturn_LoopNotTerminal(t *testing.T) {
+	// A LOOP whose body only returns is still non-terminal — BREAK can exit.
+	body := []ast.MicroflowStatement{
+		&ast.LoopStmt{Body: []ast.MicroflowStatement{&ast.ReturnStmt{}}},
+	}
+	if lastStmtIsReturn(body) {
+		t.Error("LOOP must never be terminal (BREAK path)")
+	}
+}