static class Xdef extends ROperator {
Xdef(){super("xdef");}
public void execute(DTState state) throws RulesException {
RName name = state.datapop().rNameValue();
IRObject value = state.datapop();
boolean f = state.def(name, value, true);
if(!f)
if(state.find(name)==null){
throw new RulesException("Undefined",
"xdef",