Kieker Trace Diagnosis