use the common constraint module