Testing for Contact constraints.