branch elimination