Put reported purity in annotations.