Unread compare points are matched points that
don't drive anything, thus
they do not affect downstream compare points. By default these are not
verified; however, from the U-2003.06 release there is a new variable
verification_verify_unread_compare_point which will allow Formality to
verify all these points.
Just set the following variable before issuing the verify command: