The Next Generation of Static Analysis Boolean Satisfiability and Path Simulation — A Perfect Match