Imposing Rules in Process Discovery: an Inductive Mining Approach | Synapse