Some tests for CPCF with heap.
Provide empty heap.
Err abort rule for PCF with heap.
Abort blame for CPCF with heap.
Err abort for SPCF with heap.
Test case for CPCF with heap, abstracting over contract pred.
Add mu^ to SPCF with heap.
Add mu^ to SPCF.