Various updates to DIRECTED_GRAPH motivated by multi-entry functions.