advance to next SNAPSHOT version
refactoring
fix #48: old() and unchanged() usable in extracted methods within
contract class