make the test slightly stronger

This has the effect of making the test fail nondeterministically.
use test 5d in StaticValidationTests, too