Design by Contract with declarative Bounded Exhaustive Testing