when there is not impacted class to verify, the evolution is a refinement