extract CFG