nitg: Corrected bug when creating a new AVarExpr, uses the last inferred type instead...