Ctx now handles adding 0 formula in some projections of a clause.