add pospopcount conclusion bug #672