TODO: change dex2sex so that the input of analyzer do not contains any array related instructions