Add bvand, bvor, bvnot SMT functions