Modification of Alpha++ for Discovering Collaboration Business Processes Containing Non-Free Choice