R-13918-24989-54769-62010-31246-34086-46067-43204 tcl slt th3 src
/* IMP: R-13918-24989 */
# EVIDENCE-OF: R-13918-24989 -- syntax diagram compound-select-stmt