Returns True if the graph G is a directed acyclic graph (DAG) or False if not.
G
True if G is a DAG, False otherwise