primitve support for design by contract