Created CFGs for the example programs