Allow static operation postconditions to use "old" static data, fixes
#212