It wouldn't be that easy for me. I definitely hope that the linear FM option will be implemented in the Pro 2 along with some sequencer-related updates (recording in paraphonic mode, etc.). But even without that, there are some advantages only the Pro 2 has: the filters (esp. the yummy state-variable one), the sequencer, CV connectivity, and the 13 superwaves which I wouldn't wanna miss either. The first advantages of the Prophet 12 that come to my mind would be true polyphony, bi-timbrality, and the linear FM. It's a matter of priorities I guess. None is really replaceable by the other.