芦田修正を有権解釈とすれば問題はなかったのでは?