Programming Identification Criteria in Simultaneous Equation Models