class StmSpecification implements ISaSpecification, Cloneable {

    @Override
    public StmSpecification clone() {
        try {
            StmSpecification spec = (StmSpecification) super.clone();
            if (preprocessingSpec != null) {
                spec.preprocessingSpec = preprocessingSpec.clone();
            }
            if (decompositionSpec != null) {
                spec.decompositionSpec = decompositionSpec.clone();
            }
            return spec;
        } catch (CloneNotSupportedException ex) {
            throw new AssertionError();
        }
    }

    public  StmSpecification();

}