Corase-to-Fine Inference is implemented.