Issue #5: Included conditions of branching statements in the variable vectorization process