Added SAT support for -all/-max with -verify