public static boolean filterLocallyModifiedPropositionP(Stella_Object self, AllPurposeIterator iterator) {
    return (Proposition.locallyModifiedPropositionP(((Proposition)(self)), ((Module)(iterator.iteratorObject))));
  }