.decl A(x:number, y:number) brie
.output A()
.input A()
.decl B(x:number, y:number) btree
.output B()
.input B()
.decl C(x:number, y:number) eqrel
.output C()
.input C()
.decl D(x:number, y:number)
.output D()
.input D()
