Fixed dead-branch removal