Simplify computation of control flow state for error reporting
Update uninitialized test to test cf warnings/errors
Run preloader before late specialization
Only preload ndarray attributes of array variable references