Fixed bugs regarding relevant tracks in Observations.to_dfa; Added field trelevant to Teacher; Fixes Nfa.preimage_proj_cl.