privat/nit — pull request #255 by R4PaSs (2014-02-11 17:02:15+00:00)
Title: nitg: Virtual types bugfix

Corrected bug when creating a new AVarExpr, uses the last inferred type instead of its definition type.

Signed-off-by: Lucas Bajolet