Function buildCoreFoldedResultList