Function annotateModuleProgram

Same as annotateProgram but for module programs.