Custom spec helpers for IR specs related to Vertex.java