Remove now redundant allen_hlt1 argument to moore_control_flow

FYI @mstahl

I looked through the code in MooreAnalysis and agree that the allen_hlt1 argument to moore_control_flow is redundant, so now removed. The MooreAnalysis tests pass locally for me.

Goes with Moore!1861 (merged)

Edited by Ross Hunter

Merge request reports

Loading