Too Few or too Many Properties? Measure it by ATPG!