compiler: handle CFG!