automation: rewrite subprover call to always check state, even when no new formulars are avaible
automation: rewrite subprover call to always check state, even when no new formulars are avaible

slomo/leo2,slomo/leo2,slomo/leo2