// The page is softclean, it is the same page as the reference page:
pagenos[i] = reference_pages[i];
mc_model_checker->pages->ref_page(reference_pages[i]);
// The page is softclean, it is the same page as the reference page:
pagenos[i] = reference_pages[i];
mc_model_checker->pages->ref_page(reference_pages[i]);