Simplified section about assertion library support.