Could you give me a feedback on whether this is a possible bug or not? In the following excerpt: X_377=<tmp_2516>[9]:bat[:str] := mat.packIncrement(X_376=<tmp_2516>[9]:bat[:str],X_335=<tmp_20775>[0]:bat[:str]);"] ... ... X_100=<tmp_2516>[10]:bat[:str] := mat.packIncrement(X_377=<tmp_2516>[10]:bat[:str],X_336=<tmp_24175>[1]:bat[:str]);"] X_377 has 9 rows. But when it's used as a parameter for X_100, it is reported to have 10 rows. In between the two instructions above, X_377 is never used. Roberto