let descr = "print the CFG-based WPs"