two cfgs from cfg-analyzer benchmark
small script to convert cfg-analyzer examples to our format