R-14563-40327-52895-35906-18480-59427-48133-58183 tcl slt th3 src
th3/cov1/vacuum01.test:13
/* IMP: R-14563-40327 */
# EVIDENCE-OF: R-14563-40327 -- syntax diagram vacuum-stmt