They can certainly work as a proof, it's just one of the conditions on it being proof usually fail. Argument by metaphor says that A and B are isomorphic to one another and that since they are isomorphic, we can apply proofs from A to B (maybe with some modification). The problems come from either establishing the isomorphism or in mapping properties/predicates from one to the other.