fix AAM GC bug

Author: noahvanes

…lar/scheme/aam/AAMAsbtractCounting.scala …lar/scheme/aam/AAMAbstractCounting.scalacode/shared/src/main/scala/maf/modular/scheme/aam/AAMAsbtractCounting.scala renamed to code/shared/src/main/scala/maf/modular/scheme/aam/AAMAbstractCounting.scala code/shared/src/main/scala/maf/modular/scheme/aam/AAMAsbtractCounting.scala renamed to code/shared/src/main/scala/maf/modular/scheme/aam/AAMAbstractCounting.scala

@@ -58,7 +58,7 @@ trait AAMGC extends AAMScheme:
     def restrictEnv(f: Frame): Frame = f match
         case IffK(c, a, ρ, t, aₖ)       => IffK(c, a, ρ.restrictTo(c.fv ++ a.fv), t, aₖ) 
         case SeqK(r, ρ, t, aₖ)          => SeqK(r, ρ.restrictTo(fv(r)), t, aₖ) 
-        case LetK(l, v, a, b, ρ, t, aₖ) => LetK(l, v, a, b, ρ.restrictTo(fv(l.map(_._2))), t, aₖ)
+        case LetK(l, v, a, b, ρ, t, aₖ) => LetK(l, v, a, b, ρ.restrictTo(fv(l.map(_._2) ++ b)), t, aₖ)
         case LtsK(l, v, b, ρ, t, aₖ)    => LtsK(l, v, b, ρ.restrictTo(fv(l.map(_._2) ++ b)), t, aₖ)
         case LtrK(l, a, b, ρ, t, aₖ)    => LtrK(l, a, b, ρ.restrictTo(fv(l.map(_._2) ++ b)), t, aₖ)
         case FunK(a, r, ρ, t, aₖ)       => FunK(a, r, ρ.restrictTo(fv(r)), t, aₖ)

code/shared/src/main/scala/maf/modular/scheme/aam/AAMGC.scala

@@ -10,4 +10,7 @@ class SchemeAAMAnalysis(prg: SchemeExp, k: Int)
     with AAMCallSiteSensitivity(k)
     with FIFOWorklistAlgorithm[SchemeExp]
 
-class SchemeAAMGCAnalysis(prg: SchemeExp, k: Int) extends SchemeAAMAnalysis(prg, k) with AAMAbstractCounting with AAMGC with AAMAnalysisResults
+class SchemeAAMGCAnalysis(prg: SchemeExp, k: Int) extends SchemeAAMAnalysis(prg, k) 
+                                                    with AAMAbstractCounting 
+                                                    with AAMGC 
+                                                    with AAMAnalysisResults