testing CFG