How to use Cflow2VCG

"How to use Cflow2VCG" is not written yet.