Linear div,mod,/ support in SMT-LIB with --rewrite-divk