An implementation of Tarjan's PathExpression algorithm - View it on GitHub