Automata Learning with On-the-Fly Direct Hypothesis Construction Automata Learning with On-the-Fly Direct Hypothesis Construction