Modified some example in order to comply with the new limited counter
oracle
Updated Learnlib for zulu