愚直に考えると precondition をテストダブルで置き換える形になりますが、可読性が犠牲になりますね