Fix nabl-collect-all-resolved-defs