Class ProvToDot