Verification of Task Parallel Programs Using Predictive Analysis