Added CFG ILP generation