"Original component refinement: " + originalComponentRefinement + "\n" +
    "Modified component refinement: " + modifiedComponentRefinement + "\n" +
    "Original STG refinement: " + originalStgRefinement + "\n" +
    "Modified STG refinement: " + modifiedStgRefinement + "\n" +
    "Original environment: " + originalEnvironment + "\n" +