More progress on contracts.
* Computing function slice from requires call.