Fixed bug in Observations.consistent: row(s1) = row(s2) but t(s1.a.e) != t(s2.a.e) instead of row(s1.a.e) != row(s2.a.e); Adapted Angluin.ml to changes in Observations;Myconstruction.learn_from_kernel to require queries of words leading to rejecting states in kernel; Changed some logging; Fixed parsing .dot to nfa in case of multiple letters in edge.