Describes the CONSTRAINT STATE syntax