Assertions for Debugging Parallel Programs