Now performing existentially quantification of body variables after linearization. This improves the efficiency of the Chase.