Issue #9: Fixed the array-referencing bug in the instruction-set based VAST exporter