added ordered set class
modified graphs.py to use ordered set, as order is needed during ssa conversion
added variable renaming, which brings us into full SSA