Assert that first argument is a constraint