finished basic constraints extraction