Function tvm::prim::assume