int nb_line_number_referenced(int line_number);
nb_line_number_referenced returns non-zero if the line with line number line_number is referenced by a statement in the program.