validate that tied outputs are equivalent to their corresponding input