Analysis

Fixing decoding bug that broke basic block analysis for a for loop