revised the smt translation of bool2Int