Static verification of component composition in contextual composition frameworks