Add lists of symbols into finalization models