Added support for the new list return from forall