Convert 'bvnot' to SMTFunction