Generalizing branch origins for nested branch scopes.