Predicate getADeadRoot

For a dead callable, we identify all the possible dead roots.

For dead callables which are either part of dead code cycles, or are only depended upon by callables in dead cycles, there will be no dead roots.