Split out inferConstraintsDataConArgs from inferConstraints