I have no idea if this heuristic is correct, but I suspect it's pretty good...<div><br></div><div>It doesn't really matter what heuristic is used if we insert 'unreachable' -- that should trump all else, but it seemed simpler to just always set a flat heavy bias toward the "nothing wrong" direction. Looking at the asm output, the metadata has the desired effect.</div>