ダンディーウォーカー症候群の子供の風邪薬

乳幼児/男性 - 2021/11/15

9ヶ月の息子(ダンディーウォーカー症候群、三ヶ月前にシャント手術しています)が初めて風邪を引きました。
熱はなく機嫌もいいのですが咳クシャミ鼻水がひどいので近所の小児科にみて貰いました。
その際、神経疾患はあるかと聞かれたので、ないと答え下記のお薬を処方して頂きました。

プランルカスト
シプロヘプタジン塩酸塩シロップ
カルボシステインシロップ

家に帰ってよくよく考えてみると、息子はてんかん等の疾患はないですがダンディーウォーカー症候群はてんかんや神経疾患になる場合もあると見たことがあるのですが上記の薬は服用して大丈夫でしょうか？
急に不安になってきたのでよろしくお願いします。