It doesn't really make sense to ask if the ghosts were predicted. They're mathematical artifacts of a particular computational formalism. There are other computational formalisms for QFT which don't feature ghosts, and which give the same answers for any observable quantities.