Add more options to eval-candidates (in particular simple version for prerec, using just precision)
Changed formula in the case of prerec (using 1/2 instead of 1 for unknown)