Add simple forward propagation of promotions and definitions for phis