On some inequalities for Doob decompositions in Banach function spaces