enable control flow analysis for stack allocated structured variables (struct, union, array, C++ class)
