BETA version aims to fix problem raised by reuse of variables as index
it also expand the functionanlity of previous versions:
-
UQ attribute now bounded also with expression not only with Symbols
-
fix the UQ propagation rules
-
updating for assiging function is now implemented
-
UQ in Do loop is now being considered.
Prerequisites: ROSE Compiler installation: please check https://github.com/rose-compiler/rose