Added case handling for CheckICE and for HasSideEffects.