[TAVer] 2nd meeting: Learning regular sets from queries and counterexamples