public Expression translateToExpression(IRBodyBuilder builder,
TranslationContext context, FunctionCall call) {
Expression object = builder.translateExpression(context, call.getArgument(0));
Symbol index = toSymbol(call.getArgument(1));
return new PrimitiveCall(call, "$", builder.simplify(object), new Constant(index) );
}