Refined b7 (b) CFG