Fails if all constraints are in form NOT(...)

[edocrippaofficial]

If I use this model:

A1 : V0, V1, V2, V3
A2 : T, F

NOT (([A1]="V0") AND ([A2]="T"));
NOT (([A1]="V1") AND ([A2]="F"));

It fails with the following message: Input Error: Parameter NOT (([A1]="V0") AND ([A2]="T")); should have at least one value defined

If I simply change the first logical constraint in this equivalent form: (([A1]<>"V0") OR ([A2]<>"T")); everything works, and it gives the right output

This happens whenever all the constraints are in form NOT(...). If there is at least one constraint not in negative form it works.