Start of SCPCF with heap (no heap refinements).