test/com/google/javascript/jscomp/MaybeReachingVariableUseTest.java
/**
   * The def of x at D: may be used by the read of x at U:.
   */
The def of x at D: may be used by the read of x at U:.
The def of x at D : may be used by the read of x at U : .
private void assertMatch(String src) {
    computeUseDef(src);
    Collection<Node> result = useDef.getUses("x", def);
    assertThat(result).hasSize(uses.size());
    assertThat(result.containsAll(uses)).isTrue();
  }
private void assertMatch ( String src ) { computeUseDef ( src ) ; Collection < Node > result = useDef . getUses ( "x" , def ) ; assertThat ( result ) . hasSize ( uses . size ( ) ) ; assertThat ( result . containsAll ( uses ) ) . isTrue ( ) ; }
The def of x at D: may be used by the read of x at U:.
The def of x at D : may be used by the read of x at U : .