alt/base_var2_alt5.nit:42,6--7: Error: 'a3' already defined at 39,5--6.