astllc/production: links for resolve-nested-corefs