Rename the dot file name as name_of_file+"-"+name_of_function.dot (e.g.
'While-main.dot'is the control flow graph of main function in
While.whiley.