simplify Cfg