Add symbolic evaluation for list_to_tuple/1
Gather all the macros concerning Opcodes