introducing structural tracing for VM