Remove non-determinism in Llvm parser and Internal representation

[xeren]

Removes two sources of non-determinism of the model checker:

• Identity-based iteration order of phi nodes in the LLVM parser
• Identity-based iteration order of relations in the memory model