Added a set of allocated objects to the anlaysis state to make the analysis repeat until no more objects are allocated.