d'uh, actually execute and find the lhs to the &&'s and ||'s
Merge remote-tracking branch 'original/interacting-solvers' into interacting-solvers

Resolved Conflicts:
	topaz/objects/z3object.py