Process Mining Meets Abstract Interpretation · Study