EE port of protected-branches-no-one-merge