nonStaticTrans branch creation