public static void simulateBindVariableToValue(Stella_Object formula) {
    if (Surrogate.subtypeOfP(Stella_Object.safePrimaryType(formula), Logic.SGT_LOGIC_PATTERN_VARIABLE)) {
      { PatternVariable formula000 = ((PatternVariable)(formula));

        if (!Logic.argumentBoundP(formula000)) {
          PatternVariable.setPatternVariableBinding(formula000, Logic.KWD_BOUND);
        }
      }
    }
    else {
    }
  }