Make unverified clause for submission list more precise
to filter out simulated submissions that are verified, but
do not have a judgehost.