Function foo CFG is irreducible