Fix domain_constraint test
Make the Jacobian of the domain inequality optional.