Summary: Update the copyrights
Reviewed-by: ohair

Summary: split_thru_phi produces top on a non-dead path
Reviewed-by: kvn, rasbold, sgoldman