A possible enhancement for Contract Programming: http://d.puremagic.com/issues/show_bug.cgi?id=5027 This is not meant as a replacement for "old" (that allows to refer to the state at the entry to the instance method). Bye, bearophile