Add initial version of sembranch writeup