Added printouts to ProveDec