Add first verification

Still need to add the edges to the Graph