The system returns true if an original copy is found in the database; otherwise, the system returns false and adds the document to the database.
(A branching is a subgraph where each vertex has an in-degree of at most 1.)