sbool isTrueOrYes(O o) {
  ret isTrue(o) || o instanceof S && isYes(o/S);
}