.jjtGetChild(0)).getType();
if ((argCount == 1) && baseTokenType instanceof RecordType) {
RecordType type = (RecordType) baseTokenType;
if (type.labelSet().contains(node.getMethodName())) {
Local originalBaseLocal = (Local) _nodeToLocal.get(node
.jjtGetChild(0));
Local baseLocal = Jimple.v().newLocal("base",
RefType.v(PtolemyUtilities.recordTokenClass));
_body.getLocals().add(baseLocal);