Implemented constraint extraction.