R-52288-14881-36562-17691-64762-46156-12692-08866 tcl slt th3 src
th3/req1/attach01.test:156
/* IMP: R-52288-14881 */
# EVIDENCE-OF: R-52288-14881 -- syntax diagram detach-stmt