proof update:

new statement was added/proved one and only one thread/code is selected/executed