Examp1 test

include examp1

axiom ~(X:req < X)
axiom X:req < Y | X = Y | Y < X
axiom X:req = zero | zero < X

interpret req -> bv[3]
interpret resp -> {0..2}

export a0.serve
export a1.serve