Updated syntax for creating extension constraint for consistency with
other constraints