Comment by staticassertion

I assume he means deterministic here, meaning that the translation program always produces the same output for a given input.

But none of these properties are what let you perform a successful port. The port is going to rely entirely on oracle testing.