Split CFA Wildcard into inner/outer for closedness detection, fix cycle detection and improve accuracy for Phi nodes.