Analyzing PICL Trace Data with MEDEA