__CLOVER_225_0.S[11413]++;cc.setCopyOf(copyOf);
__CLOVER_225_0.S[11414]++;cc.setInheritInformalParameters(inherit);
__CLOVER_225_0.S[11415]++;IComponentSpecification cs = (IComponentSpecification) peekObject();
__CLOVER_225_0.S[11416]++;cs.addComponent(id, cc);
__CLOVER_225_0.S[11417]++;if ((((hasCopyOf) && (++__CLOVER_225_0.CT[1967] != 0)) || (++__CLOVER_225_0.CF[1967] == 0))){
__CLOVER_225_0.S[11418]++;copyBindings(copyOf, cs, cc);}
__CLOVER_225_0.S[11419]++;push(_elementName, cc, STATE_COMPONENT);