A Backtrack Procedure for Isomorphism of Directed Graphs | Synapse