https://123dok.net/document/zwvdne1q-a-conservative-approach-to-handle-full-functions-in-the-polyhedral-model.html