Convertibility Verification and Converter Synthesis: Two Faces of the Same Coin