Polyhedral Analysis Of Streaming Task-Parallel Applications