Closed LenaSaid closed 1 year ago
Parentheses are added to the guard expression around "or" and "and" expressions.
Solves https://bugs.launchpad.net/tapaal/+bug/2012121.
Parentheses are added to the guard expression around "or" and "and" expressions.
Solves https://bugs.launchpad.net/tapaal/+bug/2012121.