Reversing parameter order for #forAll, changing to explicit arrays