Change interface for PPL domains. Remove PPLCPolyehdron.
PPL version of linear expressions are now cached