@Override
  public boolean dependsOn(DfaVariableValue other) {
    return other == this || (myQualifier != null && myQualifier.dependsOn(other));
  }
@Override
  public boolean dependsOn(DfaVariableValue other)