Some more work on sufficient condition extraction.
More work on sufficient condition extractions.

Calls to the predicates are now actually updated!

Still cannot handle the running example from the paper, for some
reason.