Add DISTINCT calls to reachable example