Fixed a bug in getAllProvers and made it total

FIxed #1277