1 The Candymachine was learned using LearnLib, with the following results.
4 \item[Can you always insert every coin?
]
5 \item[How much do you need to pay for a single mars?
]
6 \item[How much do you need to pay for a single Snickers?
]
7 \item[How much do you need to pay for a single Bounty?
]
8 \item[Which is the minimum amount of money that you need for TWO Snickers