Quantified formula in arguments of macros gets replaced by true

[5nizza]

If we pass a quantified expression as an argument to a macro, it gets replaced by true.

$ cat quantification_bug.tlsf
INFO {
  TITLE:       ""
  DESCRIPTION: "Quantification bug"
  SEMANTICS:   Mealy
  TARGET:      Mealy
}

GLOBAL {
  PARAMETERS {
    n = 2;
  }
  DEFINITIONS {
    GR_1(a) = a;   // We will pass a quantified formula to this macro
  }
}

MAIN {
  INPUTS { b[n]; }
  OUTPUTS { serve; }

  GUARANTEES {
    GR_1((&&[0 <= i < n]  b[i]));  // results in 'true' but expected "b[0]&&b[1]"
  }
}

Now run:

$ syfco quantification_bug.tlsf -f ltl
true

However expected "b_0&&b_1".