Issue #5: Added support for the "CheckActiveElements" VAST node in the array exporter and started to write a control flow rebuild function