Added ILP generation for CFG to compare