Z3_lbool constructor

Z3_lbool()