Fix lessThen() in VerifyTest