reporting bug in initialise_latest_visited_lower_bounds