US10176444B2 - Computer-Implemented Method, Computer Program Product and System for Analyzing a Control-Flow in a Business Process Model