Add support for PHI nodes, descend into helpers