Test.jadd

aspect Computation {
  syn String A.getOutputOnA() = "a" + getInput();

  syn String B.getOutputOnB() = "b" + input();
  inh String B.input();
  eq A.getB().input() = getInput();
}