Properly renamed learnlib-lstar