Handle lambdas better in sufficient condition extraction.
Fix issues related to computing too little of the SCTable.

We now compute a bit too many sufficient conditions, but it at least
means that we can handle the running example.