include all subcontracts for refinement
Feature: verification of contract refinement (obviously only for composite components)
At present, for verifying the contract refinement only the sub-contracts specified for refinement are given to OCRA.
e.g., lets consider a contract Con on component C
REFINEDBY C.Con1, C.Con2;
But we think that it is better for the ease fo the user to extend this feature with following:
"If no REFINEDBY contracts are specified then give all the sub-contracts, i.e. all the contracts of all the sub-components (only next level) to OCRA "