Discovering Branching Conditions from Business Process Execution Logs · Study