add argument size checking for add_constr!