PHI nodes are not allowed to exist with zero incoming values, check that