ph2thomas: need_phi only when inferring IG