Adapted Mealy Cache to refactorings in Automata-Incremental API