Fixed case_13 [skip hazardlib]
Fixed case_13 [skip hazardlib]


Former-commit-id: f55598b72c43d8053ae48a68434b72d47197e068 [formerly 18341158fc82e0025b91b1828c79ee0be894bb28]
Former-commit-id: 3dd37a4513bd6ced203429705cf0ab3d4f8f2d04
gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine