Compact tree of Ross Walmsley PHILP