add contracts for overflow-checkers