まあでも解析できそうなif文のケースでは precondition を使えってなりそうだけど。