with Decision Rules -- Validating and Enhancing Declarative Business Process Models