UnreachableCodeSearch and Fix empty targets in UCFR