S line;
  S rule;
  S varMap;
  S judgement;
  S matchedRuleStruct;
  S context;
  
  SS varMap() {
    ret safeUnstructureMap(varMap);
  }