Added further coherency restrictions to the polyhedral formulation.