/**
* Generates a GetStm.
*/
private void putGet(GetStm.Kind kind, Value base, Value xpath) {
cfg.addStatement(new GetStm(kind, hardcodeResult = makevar(), translateExpr(base),
xpath!=null ? context.getConstantString(xpath) : null, context.getCurrentOrigin()));
checkDiscardedResult();
}