Revert "Add Pred.t"

This reverts commit 431bdbb0b4cc1389dadae5ad250a54bd5171ae33.