Adding (x86_64_label_table_t *) argument to related functions to support label evaluation (estimation first).