COMPILER: keep track of the Var.t after renaming
COMPILER: rm menhir warning