A few tests for PCF with heap.
SPCF with heap.
Make testing more reusable.