linear div,mod,/
testing
fix models for linear /,div,mod
remove smt engine unnecessary stuff