fn check_prohibited_stmts<S: ResultSender>(
    sender: &S,
    stmt: &Statement<Raw>
) -> Result<(), Error>