`num_nin` and `num_neq` are arguments for `NonlinearProgram`, they are not arguments for `NonlinearProgramWConstraint`. You are right that in the child class `NonlinearProgramWConstraint`, these quantities are modified automatically when we call `addNonlinearConstraint`