Add lazy cmc computation