Error: Equivalence relation A is not binary in file qualifiers2.dl at line 7
.decl A(x:number, y:number, z:number) eqrel output
------^--------------------------------------------
Warning: Deprecated output qualifier was used in file qualifiers2.dl at line 7
.decl A(x:number, y:number, z:number) eqrel output
--------------------------------------------^------
Error: Domains of equivalence relation B are different in file qualifiers2.dl at line 10
.decl B(x:number, y:name) eqrel output
------^--------------------------------
Warning: Deprecated output qualifier was used in file qualifiers2.dl at line 10
.decl B(x:number, y:name) eqrel output
--------------------------------^------
2 errors generated, evaluation aborted
