;;; -*- scheme -*-
;;; misc_lts_diagnose_chain — lts-diagnose target at the end of a
;;; collapsed multi-edge spontaneous-requires prefix chain; pins the
;;; backward candidate-source walk (mid-chain in-edge must still arm
;;; the dispatch). No dzn/mCRL2 dependency.
