* @param moduleName
   * @param environment
   * @return PlIterator
   */
  public static PlIterator sGetPropositionsOf(String objectName, String moduleName, Environment environment) {
    { Context module = PLI.safelyGetModule(moduleName, environment);
      Stella_Object renamed_Object = PLI.safelyGetObject(objectName, ((Module)(module)), environment);

      if (renamed_Object != null) {
        return (PLI.getPropositionsOf(((LogicObject)(renamed_Object)), ((Module)(module)), environment));
      }
      else {
        return (PLI.EMPTY_PL_ITERATOR);
      }
    }
  }