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