Fixed a bug in getAllProvers and made it total
Merge pull request #1280 from spechub/1277-make_getAllProvers_total

Fixed a bug in getAllProvers and made it total