とりあえずinv, pre, postで十分に制約がかけられているんなら
関数・操作の中身が実装と異なっても問題ないんじゃね

あとは使い方次第としか
そのフレームワークの特性にも依存するし