Dealt with case of inconsistent observation table; Finished example from Angluin's paper, now working with hardcoded conjecture teacher; Fixed bug in Observations.to_dfa, where List.mem query was wrong, causes fault in determining initial states.