public static boolean helpUnifyAttributesP(Stella_Object value1, Stella_Object value2) {
    return (Stella_Object.eqlP(value1, value2) ||
        (Logic.skolemP(value1) &&
         PatternVariable.helpBindVariableToValueP(((PatternVariable)(value1)), value2)));
  }