Z3 BIF Encoding: Improve representation of Erlang global term order
I still need to add support for the following comparisons:
Atom vs Atom
List vs List
Tuple vs Tuple