Core-test: infer return types of cardinality-many attributes