A fast, two-steps algorithm for the automated discovery and management of declarative business process constraints - View it on GitHub