prune_impossible_nodes: Avoid overflow in computing re_malloc buffer size