How to Annotate Parallelism with SPar?