propositionalization

Relboost.propositionalization: FastProp