static protected OrigStatePair constructOrigPair(String a,String b)
{
DirectedSparseVertex aV = new DirectedSparseVertex(), bV = new DirectedSparseVertex();
aV.addUserDatum(JUConstants.LABEL, a, UserData.SHARED);
bV.addUserDatum(JUConstants.LABEL, b, UserData.SHARED);
return new OrigStatePair(aV,bV);
}