Added a test for check_overflow
Added a test for check_overflow


Former-commit-id: 6362f2fc57cfdc649c57f3e57d08c4fd19314187 [formerly ee84f8f9567c82c3f02214d885f23cb94ae806b5] [formerly ee84f8f9567c82c3f02214d885f23cb94ae806b5 [formerly 5d3ac8bb4253bc98af4c88771a08c43fcdd3a271]]
Former-commit-id: e9f2f3e248ab3f18d0a3398e7b8f3fdd47db2061
Former-commit-id: f63fc9303d944a7c43bced3f3d7d5a8a2c550b57
gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine