ph2thomas: add the Phi clause to the IG inference