Predicate ReDoS::concretise

Gets a string corresponding to the trace t.

string concretise(Trace t)