runtime: asserting in num_path_discs that path_size is not empty.