'Create type annotation after type inference'

def stage_annotate_type(self):

    self.type_annotation = type_annotations.TypeAnnotation(func_ir=self.func_ir, typemap=self.typemap, calltypes=self.calltypes, lifted=self.lifted, lifted_from=self.lifted_from, args=self.args, return_type=self.return_type, html_output=config.HTML)
    if config.ANNOTATE:
        print('ANNOTATION'.center(80, '-'))
        print(self.type_annotation)
        print(('=' * 80))
    if config.HTML:
        with open(config.HTML, 'w') as fout:
            self.type_annotation.html_annotate(fout)
