Adds a use constraint for a variable.