Def computable_pred

Modification history