hsCPMLConverToCPS - header generation function was implemented