replace IntSeq with List

why not do it in the smt prelude file?