More assertion consolidation