false warning of unsequenced multiple accesses (the comma operator mistreated)

[zhendongsu]

$ tis-interpreter.sh test.c
[value] Analyzing a complete application starting at main
[value] Computing initial state
[value] Initial state computed
test.c:4:[kernel] warning: undefined multiple accesses in expression. assert \separated(&a, &a);
                  stack: main
[value] done for function main
$ 
$ cat test.c
int main ()
{
  int a;
  return (a = 1, a) == 0;
}
$