* @param state
   */
  public static void evaluationStateSetter(Proposition proposition, Keyword state) {
    if (!(Logic.descriptionModeP())) {
      Logic.getPropagationEnvironment(((Context)(Stella.$CONTEXT$.get()))).evaluationStates.insertAt(proposition, state);
    }
  }