Deal with symbolic indexing

[0ca]

We could use the same code we already have for Athena.

[illera88]

@JonathanSalwan is currently working on it in Triton. JonathanSalwan/Triton#806

He thinks he will have it in two or three months