optional onestep argument for CoalgReasoner isSat

10 jobs for !9 with onestep
merge request