producer = super.getFunctionalAgent(var.getVarName());
}
}
else if (argumentExpression instanceof DataCons) {
DataCons cons = (DataCons)argumentExpression;
producer = super.getFunctionalAgent(cons.getDataConsName());
}
else if (argumentExpression instanceof Application) {
Application app = (Application)argumentExpression;
processArgumentExpression(consumerName, argumentNumber, app.getNthExpression(0));