Testing framework: fix overriding variables

This MR fixes a bug on how environments are reconstructed for functions:

let x = 2
let x = 1

let f (y : int) =
  y * x

let test =
  let v = Test.run f 4 in
  Test.log v

Testing this file was printing 8 instead of 4.

• has a changelog entry