...
add test: polyhedral buffer size computation