Reverted example 2 to original LearnLib version
Added code for testing the shortest CE handling