DAG representing the program structure from Example 1 and Example 2 for ...