If predicates have dash in names (e.g. (at-work box1 loc1)) tokenizer of the plansys2_terminal is buggy

[roveri-marco]

If predicates have dash in names (e.g. (at-work box1 loc1)) tokenizer of the plansys2_terminal is buggy, and it breaks at
"(at-", "work", "box1", "loc1))" and when reconstructing the string for parsing it build it as (at- work box1 loc1)) adding spaces right after the -, thus creating a wrong token!
@roveri-marco to add an example and investigate the issue (this is happening while parsing the goal with set goal (and ..)).

Another issue is that the (not or (or in the goal specified in the terminal are wrongly parsed (E.g. it seems the not is lost!) To be further investigated.

[fmrico]

Good catch!!