return result;
// String.split(String)
} else if (methodName.equals("split") && numArgs == 1) {
Variable result = factory.createVariable(VariableType.ARRAY);
factory.addStatement(new BasicUnaryOp(result, callee, new Split()));
return result;
// String.charAt(int)
} else if (methodName.equals("charAt") && numArgs == 1) {
UnaryOperation op;