test/tools: use vm["x"].empty()