-
ISWB Prasetya authored
Optimizing prefixes refinement, to only do that when there is a method-ADT goal that is put back in the worklist.
5be16a2b
Optimizing prefixes refinement, to only do that when there is a method-ADT goal that is put back in the worklist.