Added more code contract definitions