This Worklist Item is a Modelify Limitation
This occurs when a function attempts to iterate over a global pointer variable by incrementing the variable. This is not supported because it would shift the location of the global pointer variable.
This item can be resolved by refactoring the code to iterate over the global variable using a temporary variable instead of the global variable.
For further support, contact EnSoft Support at support@ensoftcorp.com