Fix analyzeAssertion test.