the out substructure is not empty if there is a return from the