Completion of separation between rule, rule state and evaluation context.