let
descr =
"print the CFG-based WPs"