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