(bvsub s t) abbreviates (bvadd s (bvneg t))