Merge pull request #884 from prathamesh-sonpatki/ir-specs-1

More IR Specs related to Vertex.java
Trying to spec toString method