@Override
public void visit(ConstructMultiArrayInstruction insn) {
Expr[] dimensionExprs = new Expr[insn.getDimensions().size()];
for (int i = 0; i < dimensionExprs.length; ++i) {
dimensionExprs[i] = Expr.var(insn.getDimensions().get(i).getIndex());
}
assign(Expr.createArray(insn.getItemType(), dimensionExprs), insn.getReceiver());
}
@Override
public void visit(ConstructArrayInstruction insn) {
assign(
Expr.createArray(insn.getItemType(), Expr.var(insn.getSize().getIndex())),
insn.getReceiver());
}