Factor out Util::matchable test
Factor out Util::ph tests
Factor out Util::isa_ph tests