Example of Control flow graph