testEnv :: TcEnv
testEnv = TcEnv {
            typemap = testTypes,
            vars = Map.fromList
                    [(nam "x", vti intT top)],
            lockstate = [],
            returnI = (intT, bottom),
            exnsE = Map.empty,
            branchPCE = (Map.empty, bottom)
          }
testEnv :: TcEnv
testEnv = TcEnv {
            typemap = testTypes,
            vars = Map.fromList
                    [(nam "x", vti intT top)],
            lockstate = [],
            returnI = (intT, bottom),
            exnsE = Map.empty,
            branchPCE = (Map.empty, bottom)
          }
testEnv = TcEnv {
            typemap = testTypes,
            vars = Map.fromList
                    [(nam "x", vti intT top)],
            lockstate = [],
            returnI = (intT, bottom),
            exnsE = Map.empty,
            branchPCE = (Map.empty, bottom)
          }