sO getVarOpt(O o) {
  ret o instanceof IF0 ? ((IF0) o)! : o;
}