test that unconditional branches to unwinds are always eliminated