Resolution of object aliases now iterates to a fixpoint