<commit_before>/* Copyright 2009-2018 EPFL, Lausanne */

package stainless
package extraction
package imperative

trait TransformerWithPC extends stainless.transformers.TransformerWithPC {
  override val trees: Trees
  import trees._

  override protected def rec(e: Expr, env: Env): Expr = e match {
    case LetVar(vd, v, b) =>
      val sv = rec(v, env)
      val sb = rec(v, env withBinding vd -> sv)
      LetVar(vd, sv, sb).copiedFrom(e)

    case _ => super.rec(e, env)
  }
}
<commit_msg>Small fix in imperative TransformerWithPC<commit_after>/* Copyright 2009-2018 EPFL, Lausanne */

package stainless
package extraction
package imperative

trait TransformerWithPC extends stainless.transformers.TransformerWithPC {
  override val trees: Trees
  import trees._

  override protected def rec(e: Expr, env: Env): Expr = e match {
    case LetVar(vd, v, b) =>
      val sv = rec(v, env)
      val sb = rec(b, env withBinding vd -> sv)
      LetVar(vd, sv, sb).copiedFrom(e)

    case _ => super.rec(e, env)
  }
}

{'fraction_non_alphanumeric': 0.10412573673870335, 'fraction_numerical': 0.015717092337917484, 'mean_word_length': 3.488986784140969, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 9, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '6891590', 'n_tokens_mistral': 355, 'n_tokens_neox': 329, 'n_words': 108}