Narrowing most_specific_branch to at least function entry.