Removed an usused function, because when it is statically known that a result unit has no name, it doesn't wind up being necessary to provide term-level evidence of it.