String label = org.rascalmpl.interpreter.utils.Names.name(this
.getField());
if (receiver == null || receiver.getValue() == null) {
// TODO: can this ever happen?
throw new UndeclaredVariable(label, this.getReceiver());
}
Type receiverType = receiver.getType();
if (receiverType.isTuple()) {
// the run-time tuple may not have labels, the static type can