Add visible assertions