Describe Polly as a 'Polyhedral Optimizer'