More IR Specs related to Vertex.java