nonholonomic constraint