Compositionality for Improving Model Checking