f[x_] :=
Module[{},
Print[b];
Return[x]
]

こう定義し直したら
f[6]を実行した時
bがプリントされて、６が返ってくるようになりました。

どうしてよくなったかは分からないですが…