Contract Programming (a.k.a., Design by Contract) Library for C++