linter.fugue.firstSolveSingle

first | t with a single alternative is t; solve | t is t too (bar an error-message nuance not worth the wrapper). Deterministic — no choice being expressed.