Αποστολή με SMS: Symbolic Parallelization of Nested Loop Programs