R-40228-52661-43584-02783-28578-15659-02521-13652 tcl slt th3 src
/* IMP: R-40228-52661 */
# EVIDENCE-OF: R-40228-52661 -- syntax diagram recursive-cte