>>313の例なら
内包的(implicit)
assert(isEven(f(5)) && f(5) < 5);　みたいなの

外延的(explicit)
>>332みたいなの

内包的な記述の方がテスト対象に何を期待しているかを
分かりやすく「厳密に」記述できる
が、isEven()みたいに名前から実装が想像できる場合はともかく
複雑になってくると何をやっているか分らなくなる可能性はある