public static boolean unboundVariableP(Stella_Object argument) {
    if (Surrogate.subtypeOfP(Stella_Object.safePrimaryType(argument), Logic.SGT_LOGIC_PATTERN_VARIABLE)) {
      { PatternVariable argument000 = ((PatternVariable)(argument));

        return (!PatternVariable.variableBoundP(argument000));
      }
    }
    else {
      return (false);
    }
  }