public void visitVarExpr(final VarExpr expr) {
		if(!(expr.isDef() || (expr.def() != null)
				|| (expr.parent() instanceof PhiStmt))) {
			System.out.println(expr.getClass());
		}
 		Assert.isTrue(expr.isDef() || (expr.def() != null)
				|| (expr.parent() instanceof PhiStmt), "Null def for variable "
				+ expr);

		visitDefExpr(expr);
	}