In this problem session, we explore how to employ the semantics of choice operator to solve the problem in complicate system with merge operator.