Improved performance of BaselineLStar
Merge pull request #16 from LearnLib/optimizeBaselineLStar

Improved performance of BaselineLStar