Fixed an issue where equality for static variables wasn't expressed to the SMT solver.