Add expression eval to TVM solver