On the Decidability of the Equivalence Problem for Monadic Recursive Programs