[rules-dev] Analysis: variable constraint with index causes SIOOBEx