assertion bug fix in z3py

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>