Move check_definitions to reaching.py
Avoid pre-loading from potentially uninitialized arrays
Compute pre-order potentially uninitialized phis (avoid preloading propagation for these)
Set initial uninitialized phi conditions