求教一个关于formal工具的问题

zrf_hwhs

看formality user guide上，formal工具match比较点的时候，有这样一句话：Formality matches unmatched compare points by exact case-sensitive name matching, and then by exact case-insensitive name matching.
对这句话我不知怎么理解。工具怎么还去match那些unmatched的比较点呢？是怎么match的呢？
请理解工具match原理的朋友帮忙解释一下。谢谢！