small refactorings, make Assert evaluate the args eagerly