Register a predicated packer for trait Problem which packs to an
unspecified problem