Fatal error: exception Invalid_argument("Automaton.pick_term_in: empty state")
This is raised with higher-order/false/insertionSortHOBug.timbuk
accompanied with
[ERROR] cannot reduce node <{#12}|{#13}|{#14}:ql>@249
This may be due to the procedure not keeping track of a subtyping relation. To investigate.