variable declarations for AUD or AUDGZ types breaks at InsertVariable Declarations

When compiling

int main ()
{

int[+] a;

   a = 0;
   return a;
}

using sac2c 2.0.0-Tintigny-83-gad4ea2. -v4 gives:

**  6: Converting to static single assignment form ...
  **** Inserting variable declarations ...
./tutu.sac:4: error:
  3.
  4. int[+] a;
    ↑
  5.
  6.    a = 0;

  Variable '+' used without previous definition
Compilation failed while Converting to static single assignment form, 1 error(s).