ph2thomas: isolate property 'Well-formed PH for parameters inference'