don't link unrechable nodes in CFG