public static void evaluatePredicateProposition(Proposition self) {
    { NamedDescription description = Logic.getDescription(((Surrogate)(self.operator)));
      MethodSlot computation = NamedDescription.lookupConstraintFunction(description);
      boolean successP = false;

      if (computation != null) {
        successP = Stella_Object.eqlP(Proposition.computeSimpleRelationConstraint(self, computation, false, new Object[1]), Stella.TRUE_WRAPPER);
        Proposition.assignTruthValue(self, (successP ? Stella.TRUE_WRAPPER : Stella.FALSE_WRAPPER));
        return;
      }
      computation = NamedDescription.lookupComputationFunction(description);
      if (computation != null) {
        successP = Stella_Object.eqlP(Proposition.computeRelationValue(self, computation, false), Stella.TRUE_WRAPPER);
        Proposition.assignTruthValue(self, (successP ? Stella.TRUE_WRAPPER : Stella.FALSE_WRAPPER));
      }
    }
  }