PropReif faster

no longer calls falseCons.isEntailed (which general returns
not(trueCons.isentailed())