Added SAT support for $div and $mod cells