now considering state variables used in the body of the operation
refactorings