Fixed CartesianAbstraction bugs.