Avoiding Method Redefinition in Face of State-set Changes (2)

• State conditions (at method entry) are reued as is (compatible or narrower conditions --- assured by subtype rules).
• State setting code can require modification.
  • on some methods, the code can be reused intact.
  • on some methods, unique resulting state can be designated.
  • all others can be dealt with daemon methods.