Bug in parser

[5nizza]

The tool fails to parse the implication operator if it is immediately (without spaces) followed by an open bracket:

INFO {
  TITLE:       ""
  DESCRIPTION: "parser bug"
  SEMANTICS:   Mealy
  TARGET:      Mealy
}
MAIN {
INPUTS { a; }
GUARANTEES { a->(!b); }  // <-- does not parse
// GUARANTEES { a-> (!b); }  // <-- does parse
}

When running:

$ syfco /tmp/bug.tlsf 
"Syntax Error" (line 9, column 18):
unexpected '('
expecting operator