return new JVariableDefinition(null,0,((CArrayType)var.getType()).getBaseType(),var.getIdent()+"__destroyed_"+idx,null);
JExpression init = null;    if (var instanceof JVariableDefinition && ((JVariableDefinition)var).getValue() instanceof JArrayInitializer) { JArrayInitializer arr = (JArrayInitializer)((JVariableDefinition)var).getValue(); init = arr.getElems()[idx]; } return new JVariableDefinition(null,0,((CArrayType)var.getType()).getBaseType(),var.getIdent()+"__destroyed_"+idx,init);
    private JVariableDefinition toVar(JLocalVariable var,int idx) {	return new JVariableDefinition(null,0,((CArrayType)var.getType()).getBaseType(),var.getIdent()+"__destroyed_"+idx,null);    }