public Vertex GetStringConstant(string value) { StringConstant vertex = new StringConstant(value); return(Unify(vertex)); }