Hmm... if SQLScript would actually allow for a kind of parallel execution of parts of a procedure that in turn change the result, this would be invalid.
Up to my experience, every time data actually gets assigned and reused (incl. changing data in tables) SAP HANA switches back to sequential execution.
Is that the correct understanding or do SQLScript developers really have to try and manually prove the correctness of their procedures when executed in parallel? (I wouldn't even know how that would work, given there is no direct option to influence the degree of parallelism).