test on design by contracts and first implementation