qc_statem:qc_recheck/2