IsPushedDown関数を追加