Loop Dependency - Diophantine Equation and GCD Test

In order to find if a loop is parallelizable, it need to be determined if dependency between different iterations of the loop exist. Diophantine equation for a loop can be created. GCD test allows to find if solution for the diophantine equation exist.