static <A> A setAndReturn(A o, S field, O value) {
  set(o, field, value);
  ret o;
}

static <A> A setAndReturn(IVar<A> v, A value) {
  setVar(v, value);
  ret value;
}