Symbolic Performance Estimation Of Speculative Parallel Programs