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