Convert bitvector comparisions to SMTFunction instances