Flow graph of a Simple Program