IntermediateCode: add docu to header