MCDC - toZ3 cannot handle unary operators
AF3 allows unary operators (e.g. –1).
The current implementation of toZ3 can only handle binary operators or
operators with multiple variables.
There is a need to handle unary operators
(from redmine: issue id 3612, created on 2019-01-14, closed on 2019-10-10)