Read old(this) in a precondition as the state before the call - #422

Read old(this) in a precondition as the state before the call#422

CatarinaGamboa wants to merge 1 commit into

mainliquid-java/liquidjava:mainfrom

fix/state-machine-oldliquid-java/liquidjava:fix/state-machine-oldCopy head branch name to clipboard