HAZARD and IC3