From Contract++ to Boost.Contract