why do we need this duplication? Can it be just obtained once from the package itself and do without heuristic in Manifest (can just keep assertions there)?