Array.for_all != bsetForall

10 jobs for !9 with onestep
merge request