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