public static PropagationEnvironment getPropagationEnvironment(Context self) {
    { PropagationEnvironment environment = ((PropagationEnvironment)(KeyValueList.dynamicSlotValue(self.dynamicSlots, Logic.SYM_LOGIC_PROPAGATION_ENVIRONMENT, null)));

      if (environment == null) {
        environment = PropagationEnvironment.newPropagationEnvironment();
        KeyValueList.setDynamicSlotValue(self.dynamicSlots, Logic.SYM_LOGIC_PROPAGATION_ENVIRONMENT, environment, null);
      }
      return (environment);
    }
  }