On adding over-identifying instrumental variables to simultaneous equations