WiP in porting KV to learnlib-discrimination-tree