Two symbols (even of different kinds) cannot have the same ident.
Fixed CFG generation for multiple returns.
Label the CFG with the name of the function.
Print CFG label in toString.
Print parsed file name.
Test cases from Wei.