match upstream changes in how branchinsts work#1298

nunoplopes merged 1 commit intoAliveToolkit:masterAliveToolkit/alive2:masterfrom

regehr:branchinst-fixregehr/alive2:branchinst-fixCopy head branch name to clipboard