Use default code contract static checking settings.
Make sure to have documentation comments on all public members in composable.core.