let coerce_comp comp = 
    SofData.define comp; DataofS.define comp; 
     Ax2SofData.define comp; Ax3IsSofData.define comp