m3-extract-constraints: --no-cat option, AGR->AGREEMENT