ph2thomas: optimization in IG inference
ph2thomas: refactor ASP files