FlatUCFRSlicer, UnreachableCodeSearch: add results for different threshold