Tests compile for TransBelief, but no implementation yet.