BuiltinList.Builder builder = BuiltinList.builder( Sort.of(stream(module.productionsFor().toStream()).filter(t -> t._1.equals(assocKLabelForUnit.get())).findAny().get()._2.head().sort()), KLabelConstant.of(assocKLabelForUnit.get(), global.getDefinition()), (KLabelConstant) convertedKLabel,