Checks if the ancestor with respect to deepest vertex u
if ( preTime [ Vertices [ k ] ] <= preTime [ u ] and postTime [ Vertices [ k ] ] >= postTime [ u ] ) : NEW_LINE INDENT flag = True ; NEW_LINE DEDENT else : NEW_LINE INDENT flag = False ; NEW_LINE DEDENT