Describir: Coupling: First verification results