Correctness Tag modification to differentiate between Default Unknown value and an Analyzed Unknown value.