Identity transformations for structured-program schemes with closed logic conditions