public class A {
  static Object source(String s) { return null; }
  static void sink(Object o) { }

  static Object id(Object x) { return x; }

  static void test1(int dummy) {
    Object src = source("1");
    Object a = src;
    sink(a); // $ EqCc="1" SrcCc="1" SinkCc="1"
  }

  static void test2() {
    Object src = source("2");
    Object a = src;
    sink(a); // $ EqCc="2" SrcCc="2" SinkCc="2"
  }

  void test3() {
    Object src = source("3");
    Object a = id(src);
    sink(a); // $ EqCc="3" SrcCc="3" SinkCc="3"
  }

  static void test4() {
    Object src = source("4");
    Object a = id(src);
    sink(a); // $ EqCc="4" SrcCc="4" SinkCc="4"
  }

  static Object test5src() {
    return source("5");
  }

  static void test5() {
    Object x = test5src();
    Object y = id(x);
    sink(y); // $ SinkCc="5"
  }

  static void test6sink(Object x) {
    sink(x); // $ SrcCc="6"
  }

  static void test6() {
    Object x = source("6");
    test6sink(x);
  }

  Object getSrc() {
    return source("get");
  }

  void srcField() {
    foo = source("field");
  }

  static Object foo = null;

  void srcCall(int i) {
    test7(source("call"), i);
  }

  Object test7(Object x, int i) {
    Object src = null;
    if (i == 0) {
      src = getSrc();
    } else if (i == 1) {
      src = foo;
    } else if (i == 2) {
      src = x;
    } else if (i == 3) {
      src = source("direct");
    }

    sinkPut(src);
    foo2 = src;
    sink(src); // $ EqCc="direct" SrcCc="field" SrcCc="call" SrcCc="direct" SinkCc="get" SinkCc="field" SinkCc="direct"
    return src;
  }

  static Object foo2 = null;

  void sinkPut(Object x) {
    sink(x); // $ SrcCc="field" SrcCc="call" SrcCc="direct"
  }

  void sinkField() {
    sink(foo2); // $ SrcCc="field" SrcCc="call" SrcCc="direct" SinkCc="get" SinkCc="field" SinkCc="call" SinkCc="direct"
  }

  void sinkReturn(int i) {
    sink(test7(null, i)); // $ SrcCc="field" SinkCc="get" SinkCc="field" SinkCc="direct"
  }
}