More assertions in compact test.