'Appended a new job to this JobInfo node.
:param job: The new job to append.
:param bool merged: Whether it is a merged job or not.
:param bool widened: Whether it is a widened job or not.'

def add_job(self, job, merged=False, widened=False):

    job_type = ''
    if merged:
        job_type = 'merged'
    elif widened:
        job_type = 'widened'
    self.jobs.append((job, job_type))
