Allow static operation postconditions to use "old" static data