Discovering Constraints for Inductive Process Modeling