let makeCFG = ref false