Update the copyrights Reviewed-by: ohair
Split_thru_phi produces top on a non-dead path Reviewed-by: kvn, rasbold, sgoldman